acl2-books 7.1-1 / usr / share / acl2-7.1 / books / rtl / rel4

This file is indexed.

/usr/share/acl2-7.1/books/rtl/rel4/ is in acl2-books 7.1-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/ root:root 0o755
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/arith.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/arith2.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/basic.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/cg.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/common-factor-defuns.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/common-factor.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/complex-rationalp.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/denominator.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/even-odd.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/even-odd2-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/even-odd2.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/expo-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/expo.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/expt-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/expt.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/extra-rules.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/fl-expt.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/fl-hacks.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/fl-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/fl.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/floor-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/floor.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/fp.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/fp2.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/ground-zero.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/hacks.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/induct.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/integerp.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/inverted-factor.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/mod-expt.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/mod-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/mod.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/negative-syntaxp.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/nniq.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/numerator.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/power2p.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/predicate.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/product-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/product.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/rationalp.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/top.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/unary-divide.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/arithmetic/x-2xx.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/ root:root 0o755
/usr/share/acl2-7.1/books/rtl/rel4/lib/arith.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/basic.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/bits.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/bvecp-helpers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/bvecp-raw-helpers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/clocks.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/fadd.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/float.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/openers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/package-defs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/reps.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/rom-helpers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/round.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/rtl.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/rtlarr.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/simple-loop-helpers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/simplify-model-helpers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/top.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/lib/util.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/ root:root 0o755
/usr/share/acl2-7.1/books/rtl/rel4/support/add3-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/add3.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/all-ones.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/ash.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/away-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/away.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/badguys.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bias-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bias.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bitn-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bitn.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bits-extra.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bits-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bits-trunc-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bits-trunc.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bits.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bvecp-helpers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bvecp-lemmas.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bvecp-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/bvecp.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/cat-def.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/cat-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/cat.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/clocks.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/decode-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/decode.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/drnd.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/encode.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/ereps-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/ereps.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/fadd.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/fast-and.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/float.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/ground-zero.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/guards.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/ireps.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/land-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/land.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lextra-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lextra.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lior-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lior.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lnot-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lnot.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/log-equal.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/log-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/log.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/logand-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/logand.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/logeqv.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/logior-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/logior.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/logior1-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/logior1.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lognot.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/logorc1.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/logs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/logxor.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lop1-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lop1.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lop2-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lop2.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lop3-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lop3.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lxor-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/lxor.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/merge.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/merge2.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/mod4.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/model-helpers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/mulcat-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/mulcat.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/near+-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/near+.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/near-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/near.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/ocat.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/oddr-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/oddr.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/openers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/package-defs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/rewrite-theory.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/rnd.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/rom-helpers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/rtl.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/rtlarr.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/setbitn-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/setbitn.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/setbits-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/setbits.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/sgn.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/shft.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/simple-loop-helpers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/simplify-model-helpers.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/stick-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/stick.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/sticky-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/sticky.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/sumbits.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/top.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/top1.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/trunc-proofs.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/trunc.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/support/util.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/ root:root 0o755
/usr/share/acl2-7.1/books/rtl/rel4/user/away.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/bias.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/bitn.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/bits-trunc.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/bits.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/brat.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/bvecp.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/cat.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/decode.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/ereps.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/land.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/lextra.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/lior.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/lnot.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/logior1.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/lxor.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/mulcat.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/near.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/setbitn.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/setbits.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/stick.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/sumbits.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/top.o root:root 0o777
/usr/share/acl2-7.1/books/rtl/rel4/user/trunc.o root:root 0o777

APT Browse - Built by Thomas Orozco.