acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / rtl / rel8

This file is indexed.

/usr/share/acl2-6.3/books/rtl/rel8/ is in acl2-books-certs 6.3-5.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/arith.cert text/plain root:root 0o644 10.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/arith2.cert text/plain root:root 0o644 9.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/basic.cert text/plain root:root 0o644 13.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/cg.cert text/plain root:root 0o644 16.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/common-factor-defuns.cert text/plain root:root 0o644 436 bytes
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/common-factor.cert text/plain root:root 0o644 10.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/complex-rationalp.cert text/plain root:root 0o644 417 bytes
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/denominator.cert text/plain root:root 0o644 11.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/even-odd.cert text/plain root:root 0o644 12.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/even-odd2-proofs.cert text/plain root:root 0o644 13.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/even-odd2.cert text/plain root:root 0o644 13.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/expo-proofs.cert text/plain root:root 0o644 13.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/expo.cert text/plain root:root 0o644 13.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/expt-proofs.cert text/plain root:root 0o644 14.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/expt.cert text/plain root:root 0o644 14.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/extra-rules.cert text/plain root:root 0o644 16.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/fl-expt.cert text/plain root:root 0o644 16.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/fl-hacks.cert text/plain root:root 0o644 15.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/fl-proofs.cert text/plain root:root 0o644 15.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/fl.cert text/plain root:root 0o644 15.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/floor-proofs.cert text/plain root:root 0o644 14.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/floor.cert text/plain root:root 0o644 14.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/fp.cert text/plain root:root 0o644 11.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/fp2.cert text/plain root:root 0o644 8.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/ground-zero.cert text/plain root:root 0o644 248 bytes
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/hacks.cert text/plain root:root 0o644 11.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/induct.cert text/plain root:root 0o644 16.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/integerp.cert text/plain root:root 0o644 11.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/inverted-factor.cert text/plain root:root 0o644 259 bytes
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/mod-expt.cert text/plain root:root 0o644 14.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/mod-proofs.cert text/plain root:root 0o644 16.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/mod.cert text/plain root:root 0o644 16.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/negative-syntaxp.cert text/plain root:root 0o644 264 bytes
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/nniq.cert text/plain root:root 0o644 13.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/numerator.cert text/plain root:root 0o644 12.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/power2p.cert text/plain root:root 0o644 13.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/predicate.cert text/plain root:root 0o644 242 bytes
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/product-proofs.cert text/plain root:root 0o644 11.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/product.cert text/plain root:root 0o644 11.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/rationalp.cert text/plain root:root 0o644 392 bytes
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/top.cert text/plain root:root 0o644 15.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/unary-divide.cert text/plain root:root 0o644 11.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/arithmetic/x-2xx.cert text/plain root:root 0o644 4.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/lib/add.cert text/plain root:root 0o644 62.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/arith.cert text/plain root:root 0o644 62.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/basic.cert text/plain root:root 0o644 67.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/bits.cert text/plain root:root 0o644 61.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/bvecp-helpers.cert text/plain root:root 0o644 61.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/bvecp-raw-helpers.cert text/plain root:root 0o644 62.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/clocks.cert text/plain root:root 0o644 16.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/float.cert text/plain root:root 0o644 62.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/log.cert text/plain root:root 0o644 61.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/logn.cert text/plain root:root 0o644 61.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/logn2log.cert text/plain root:root 0o644 62.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/mult.cert text/plain root:root 0o644 62.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/openers.cert text/plain root:root 0o644 398 bytes
/usr/share/acl2-6.3/books/rtl/rel8/lib/package-defs.cert text/plain root:root 0o644 428 bytes
/usr/share/acl2-6.3/books/rtl/rel8/lib/reps.cert text/plain root:root 0o644 62.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/rom-helpers.cert text/plain root:root 0o644 421 bytes
/usr/share/acl2-6.3/books/rtl/rel8/lib/round.cert text/plain root:root 0o644 62.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/rtl.cert text/plain root:root 0o644 67.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/rtlarr.cert text/plain root:root 0o644 61.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/simple-loop-helpers.cert text/plain root:root 0o644 61.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/simplify-model-helpers.cert text/plain root:root 0o644 62.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/top.cert text/plain root:root 0o644 63.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/lib/util.cert text/plain root:root 0o644 67.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/arith-extra.cert text/plain root:root 0o644 17.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/arith.cert text/plain root:root 0o644 17.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/basic-extra.cert text/plain root:root 0o644 35.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/basic.cert text/plain root:root 0o644 38.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/bits-extra.cert text/plain root:root 0o644 37.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/bits.cert text/plain root:root 0o644 38.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/bvecp-raw-helpers-extra.cert text/plain root:root 0o644 35.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/bvecp-raw-helpers.cert text/plain root:root 0o644 38.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/float-extra2.cert text/plain root:root 0o644 37.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/float.cert text/plain root:root 0o644 38.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/mult-proofs.cert text/plain root:root 0o644 33.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/mult.cert text/plain root:root 0o644 37.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/round-extra2.cert text/plain root:root 0o644 38.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/round.cert text/plain root:root 0o644 39.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/simple-loop-helpers-extra.cert text/plain root:root 0o644 35.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta1/simple-loop-helpers.cert text/plain root:root 0o644 38.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta2/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta2/float-extra.cert text/plain root:root 0o644 37.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1.delta2/float.cert text/plain root:root 0o644 38.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/add.cert text/plain root:root 0o644 36.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/arith.cert text/plain root:root 0o644 15.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/basic.cert text/plain root:root 0o644 38.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/bits.cert text/plain root:root 0o644 34.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/bvecp-helpers.cert text/plain root:root 0o644 35.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/bvecp-raw-helpers.cert text/plain root:root 0o644 37.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/clocks.cert text/plain root:root 0o644 16.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/float.cert text/plain root:root 0o644 35.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/log.cert text/plain root:root 0o644 35.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/openers.cert text/plain root:root 0o644 400 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/package-defs.cert text/plain root:root 0o644 429 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/reps.cert text/plain root:root 0o644 35.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/rom-helpers.cert text/plain root:root 0o644 421 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/round.cert text/plain root:root 0o644 35.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/rtl.cert text/plain root:root 0o644 38.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/rtlarr.cert text/plain root:root 0o644 35.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/simple-loop-helpers.cert text/plain root:root 0o644 36.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/simplify-model-helpers.cert text/plain root:root 0o644 36.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/top.cert text/plain root:root 0o644 37.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib1/util.cert text/plain root:root 0o644 380 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/add-new-proofs.cert text/plain root:root 0o644 50.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/add-new.cert text/plain root:root 0o644 51.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/add-proofs.cert text/plain root:root 0o644 52.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/add.cert text/plain root:root 0o644 52.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/arith.cert text/plain root:root 0o644 49.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/bits-new-proofs.cert text/plain root:root 0o644 49.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/bits-new.cert text/plain root:root 0o644 49.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/bits-proofs.cert text/plain root:root 0o644 50.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/bits.cert text/plain root:root 0o644 50.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/bvecp-helpers.cert text/plain root:root 0o644 53.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/bvecp-raw-helpers-proofs.cert text/plain root:root 0o644 53.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/bvecp-raw-helpers.cert text/plain root:root 0o644 53.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/float-new-proofs.cert text/plain root:root 0o644 50.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/float-new.cert text/plain root:root 0o644 50.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/float-proofs.cert text/plain root:root 0o644 51.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/float.cert text/plain root:root 0o644 51.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/log-new-proofs.cert text/plain root:root 0o644 50.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/log-new.cert text/plain root:root 0o644 50.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/log-proofs.cert text/plain root:root 0o644 50.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/log-support-proofs.cert text/plain root:root 0o644 50.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/log-support.cert text/plain root:root 0o644 50.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/log.cert text/plain root:root 0o644 50.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/logn-new-proofs.cert text/plain root:root 0o644 50.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/logn-new.cert text/plain root:root 0o644 50.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/logn-proofs.cert text/plain root:root 0o644 51.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/logn.cert text/plain root:root 0o644 51.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/logn2log-proofs.cert text/plain root:root 0o644 53.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/logn2log.cert text/plain root:root 0o644 53.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/mult-new-proofs.cert text/plain root:root 0o644 51.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/mult-new.cert text/plain root:root 0o644 51.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/mult-proofs.cert text/plain root:root 0o644 53.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/mult.cert text/plain root:root 0o644 53.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/reps-new-proofs.cert text/plain root:root 0o644 51.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/reps-new.cert text/plain root:root 0o644 51.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/reps-proofs.cert text/plain root:root 0o644 52.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/reps.cert text/plain root:root 0o644 52.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/round-new-proofs.cert text/plain root:root 0o644 50.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/round-new.cert text/plain root:root 0o644 50.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/round-proofs.cert text/plain root:root 0o644 51.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/round.cert text/plain root:root 0o644 52.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/rtl-new-proofs.cert text/plain root:root 0o644 54.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/rtl-new.cert text/plain root:root 0o644 55.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/rtl-proofs.cert text/plain root:root 0o644 55.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/rtl.cert text/plain root:root 0o644 56.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/rtlarr-new.cert text/plain root:root 0o644 50.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/rtlarr.cert text/plain root:root 0o644 51.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/simple-loop-helpers-proofs.cert text/plain root:root 0o644 51.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/simple-loop-helpers.cert text/plain root:root 0o644 52.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/simplify-model-helpers-new-proofs.cert text/plain root:root 0o644 51.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/simplify-model-helpers-new.cert text/plain root:root 0o644 51.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/simplify-model-helpers-proofs.cert text/plain root:root 0o644 52.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/simplify-model-helpers.cert text/plain root:root 0o644 53.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/top.cert text/plain root:root 0o644 57.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta1/util.cert text/plain root:root 0o644 52.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta2/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta2/add-lib.cert text/plain root:root 0o644 56.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta2/add.cert text/plain root:root 0o644 56.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta2/base.cert text/plain root:root 0o644 56.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta2/bits.cert text/plain root:root 0o644 56.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2.delta2/log.cert text/plain root:root 0o644 56.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/add.cert text/plain root:root 0o644 47.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/arith.cert text/plain root:root 0o644 47.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/base.cert text/plain root:root 0o644 46.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/basic.cert text/plain root:root 0o644 50.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/bits.cert text/plain root:root 0o644 46.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/bvecp-helpers.cert text/plain root:root 0o644 46.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/bvecp-raw-helpers.cert text/plain root:root 0o644 46.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/clocks.cert text/plain root:root 0o644 16.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/float.cert text/plain root:root 0o644 46.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/log.cert text/plain root:root 0o644 46.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/mult.cert text/plain root:root 0o644 47.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/openers.cert text/plain root:root 0o644 399 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/package-defs.cert text/plain root:root 0o644 428 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/reps.cert text/plain root:root 0o644 47.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/rom-helpers.cert text/plain root:root 0o644 423 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/round.cert text/plain root:root 0o644 47.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/rtl.cert text/plain root:root 0o644 50.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/rtlarr.cert text/plain root:root 0o644 46.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/simple-loop-helpers.cert text/plain root:root 0o644 47.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/simplify-model-helpers.cert text/plain root:root 0o644 47.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/top.cert text/plain root:root 0o644 48.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/lib2/util.cert text/plain root:root 0o644 50.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/support/support/add3-proofs.cert text/plain root:root 0o644 22.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/add3.cert text/plain root:root 0o644 22.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/all-ones.cert text/plain root:root 0o644 245 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/ash.cert text/plain root:root 0o644 17.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/away-proofs.cert text/plain root:root 0o644 20.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/away.cert text/plain root:root 0o644 21.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/badguys.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bias-proofs.cert text/plain root:root 0o644 18.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bias.cert text/plain root:root 0o644 18.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bitn-proofs.cert text/plain root:root 0o644 16.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bitn.cert text/plain root:root 0o644 17.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bits-proofs.cert text/plain root:root 0o644 16.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bits-trunc-proofs.cert text/plain root:root 0o644 22.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bits-trunc.cert text/plain root:root 0o644 22.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bits.cert text/plain root:root 0o644 16.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bvecp-helpers.cert text/plain root:root 0o644 24.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bvecp-lemmas.cert text/plain root:root 0o644 26.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bvecp-proofs.cert text/plain root:root 0o644 19.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/bvecp.cert text/plain root:root 0o644 19.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/cat-def.cert text/plain root:root 0o644 241 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/cat-proofs.cert text/plain root:root 0o644 20.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/cat.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/clocks.cert text/plain root:root 0o644 15.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/decode-proofs.cert text/plain root:root 0o644 20.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/decode.cert text/plain root:root 0o644 20.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/drnd-original.cert text/plain root:root 0o644 25.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/encode.cert text/plain root:root 0o644 20.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/ereps-proofs.cert text/plain root:root 0o644 22.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/ereps.cert text/plain root:root 0o644 22.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/fadd-extra.cert text/plain root:root 0o644 33.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/fadd-extra0.cert text/plain root:root 0o644 32.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/fadd.cert text/plain root:root 0o644 24.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/fast-and.cert text/plain root:root 0o644 245 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/float-extra.cert text/plain root:root 0o644 33.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/float.cert text/plain root:root 0o644 15.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/ground-zero.cert text/plain root:root 0o644 549 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/guards.cert text/plain root:root 0o644 33.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/ireps.cert text/plain root:root 0o644 22.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/land.cert text/plain root:root 0o644 33.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/land0-proofs.cert text/plain root:root 0o644 25.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/land0.cert text/plain root:root 0o644 26.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lextra-proofs.cert text/plain root:root 0o644 22.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lextra.cert text/plain root:root 0o644 33.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lextra0.cert text/plain root:root 0o644 22.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lior.cert text/plain root:root 0o644 33.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lior0-proofs.cert text/plain root:root 0o644 25.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lior0.cert text/plain root:root 0o644 26.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lnot-proofs.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lnot.cert text/plain root:root 0o644 21.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/log-equal.cert text/plain root:root 0o644 248 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/log-proofs.cert text/plain root:root 0o644 23.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/log.cert text/plain root:root 0o644 19.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/logand-proofs.cert text/plain root:root 0o644 16.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/logand.cert text/plain root:root 0o644 20.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/logeqv.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/logior-proofs.cert text/plain root:root 0o644 20.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/logior.cert text/plain root:root 0o644 21.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/logior1-proofs.cert text/plain root:root 0o644 263 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/logior1.cert text/plain root:root 0o644 411 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lognot.cert text/plain root:root 0o644 19.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/logorc1.cert text/plain root:root 0o644 21.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/logs.cert text/plain root:root 0o644 232 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/logxor.cert text/plain root:root 0o644 21.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lop1-proofs.cert text/plain root:root 0o644 21.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lop1.cert text/plain root:root 0o644 21.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lop2-proofs.cert text/plain root:root 0o644 21.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lop2.cert text/plain root:root 0o644 22.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lop3-proofs.cert text/plain root:root 0o644 22.8 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lop3.cert text/plain root:root 0o644 22.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lxor.cert text/plain root:root 0o644 33.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lxor0-proofs.cert text/plain root:root 0o644 25.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/lxor0.cert text/plain root:root 0o644 26.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/merge.cert text/plain root:root 0o644 21.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/merge2.cert text/plain root:root 0o644 22.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/mod4.cert text/plain root:root 0o644 19.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/model-helpers.cert text/plain root:root 0o644 19.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/mulcat-proofs.cert text/plain root:root 0o644 25.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/mulcat.cert text/plain root:root 0o644 25.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/near+-proofs.cert text/plain root:root 0o644 21.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/near+.cert text/plain root:root 0o644 21.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/near-proofs.cert text/plain root:root 0o644 21.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/near.cert text/plain root:root 0o644 21.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/ocat.cert text/plain root:root 0o644 16.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/oddr-proofs.cert text/plain root:root 0o644 21.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/oddr.cert text/plain root:root 0o644 21.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/openers.cert text/plain root:root 0o644 241 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/package-defs.cert text/plain root:root 0o644 256 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/rewrite-theory.cert text/plain root:root 0o644 262 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/rnd.cert text/plain root:root 0o644 27.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/rom-helpers.cert text/plain root:root 0o644 253 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/round-extra.cert text/plain root:root 0o644 33.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/rtl.cert text/plain root:root 0o644 1.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/rtlarr.cert text/plain root:root 0o644 1016 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/support/setbitn-proofs.cert text/plain root:root 0o644 22.3 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/setbitn.cert text/plain root:root 0o644 22.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/setbits-proofs.cert text/plain root:root 0o644 21.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/setbits.cert text/plain root:root 0o644 21.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/sgn.cert text/plain root:root 0o644 19.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/shft.cert text/plain root:root 0o644 19.6 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/simple-loop-helpers.cert text/plain root:root 0o644 25.4 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/simplify-model-helpers.cert text/plain root:root 0o644 20.0 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/stick-proofs.cert text/plain root:root 0o644 22.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/stick.cert text/plain root:root 0o644 26.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/sticky-proofs.cert text/plain root:root 0o644 20.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/sticky.cert text/plain root:root 0o644 21.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/sumbits.cert text/plain root:root 0o644 17.2 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/top.cert text/plain root:root 0o644 33.5 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/top1.cert text/plain root:root 0o644 31.9 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/trunc-proofs.cert text/plain root:root 0o644 19.7 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/trunc.cert text/plain root:root 0o644 20.1 KB
/usr/share/acl2-6.3/books/rtl/rel8/support/support/util.cert text/plain root:root 0o644 232 bytes
/usr/share/acl2-6.3/books/rtl/rel8/support/top/ root:root 0o755
/usr/share/acl2-6.3/books/rtl/rel8/support/top/top.cert text/plain root:root 0o644 60.7 KB

APT Browse - Built by Thomas Orozco.