acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / rtl / rel1

This file is indexed.

/usr/share/acl2-8.0dfsg/books/rtl/rel1/ is in acl2-books-source 8.0dfsg-1.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib1/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib1/basic.lisp text/x-lisp root:root 0o644 8.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib1/bits.lisp text/x-lisp root:root 0o644 18.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib1/brat.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib1/float.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib1/reps.lisp text/x-lisp root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib1/round.lisp text/x-lisp root:root 0o644 25.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib1/top.lisp text/plain root:root 0o644 417 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib3/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib3/basic.lisp text/x-lisp root:root 0o644 11.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib3/bits.lisp text/x-lisp root:root 0o644 20.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib3/brat.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib3/fadd.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib3/float.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib3/reps.lisp text/x-lisp root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib3/round.lisp text/x-lisp root:root 0o644 25.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/lib3/top.lisp text/plain root:root 0o644 472 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/add.lisp text/x-lisp root:root 0o644 28.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/away.lisp text/x-lisp root:root 0o644 18.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/basic.lisp text/x-lisp root:root 0o644 12.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/divsqrt.lisp text/x-lisp root:root 0o644 81.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/fadd/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/fadd/add3.lisp text/x-lisp root:root 0o644 9.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/fadd/lop1.lisp text/x-lisp root:root 0o644 26.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/fadd/lop2.lisp text/x-lisp root:root 0o644 14.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/fadd/lop3.lisp text/x-lisp root:root 0o644 69.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/fadd/stick.lisp text/x-lisp root:root 0o644 31.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/fadd/top.lisp text/x-lisp root:root 0o644 31.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/float.lisp text/x-lisp root:root 0o644 34.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/floor.lisp text/plain root:root 0o644 5.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/fp.lisp text/x-lisp root:root 0o644 27.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/logdefs.lisp text/x-lisp root:root 0o644 38.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/loglemmas.lisp text/x-lisp root:root 0o644 29.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/logxor-def.lisp text/x-lisp root:root 0o644 42.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/logxor-lemmas.lisp text/plain root:root 0o644 17.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/merge.lisp text/plain root:root 0o644 54.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/near.lisp text/x-lisp root:root 0o644 13.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/odd.lisp text/x-lisp root:root 0o644 14.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/proofs.lisp text/plain root:root 0o644 697 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/reps.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/rewrite-theory.lisp text/x-lisp root:root 0o644 804 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/rnd.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/sticky.lisp text/x-lisp root:root 0o644 20.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/trunc.lisp text/x-lisp root:root 0o644 26.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel1/support/x-2xx.lisp text/x-lisp root:root 0o644 7.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/add.lisp text/x-lisp root:root 0o644 11.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/basic.lisp text/plain root:root 0o644 13.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/bits.lisp text/x-lisp root:root 0o644 23.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/cert.acl2 text/plain root:root 0o644 21 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/defs.lisp text/x-lisp root:root 0o644 13.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/div.lisp text/plain root:root 0o644 8.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/doc.acl2 text/plain root:root 0o644 289 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/doc.lisp text/x-lisp root:root 0o644 9.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/excps.lisp text/plain root:root 0o644 36.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/float.lisp text/plain root:root 0o644 11.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/gl.acl2 text/plain root:root 0o644 74 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/gl.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/log.lisp text/plain root:root 0o644 13.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/masc.lisp text/x-lisp root:root 0o644 9.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/mult.lisp text/x-lisp root:root 0o644 10.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/rcp.lisp text/plain root:root 0o644 6.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/reps.lisp text/plain root:root 0o644 11.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/round.lisp text/plain root:root 0o644 43.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/sqrt.lisp text/plain root:root 0o644 8.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/srt.lisp text/x-lisp root:root 0o644 52.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/top.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/lib/util.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/portcullis.acl2 text/plain root:root 0o644 179 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/portcullis.lisp text/plain root:root 0o644 205 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/arith.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/arith2.lisp text/plain root:root 0o644 16.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/basic.lisp text/x-lisp root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/cert.acl2 text/plain root:root 0o644 195 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/cg.lisp text/plain root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/common-factor-defuns.lisp text/x-lisp root:root 0o644 7.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/common-factor.lisp text/x-lisp root:root 0o644 4.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/complex-rationalp.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/denominator.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/even-odd.lisp text/x-lisp root:root 0o644 6.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/even-odd2-proofs.lisp text/plain root:root 0o644 8.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/even-odd2.lisp text/plain root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/expo-proofs.lisp text/x-lisp root:root 0o644 28.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/expo.lisp text/x-lisp root:root 0o644 17.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/expt-proofs.lisp text/x-lisp root:root 0o644 25.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/expt.lisp text/x-lisp root:root 0o644 15.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/extra-rules.lisp text/plain root:root 0o644 8.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/fl-expt.lisp text/x-lisp root:root 0o644 5.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/fl-hacks.lisp text/plain root:root 0o644 2.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/fl-proofs.lisp text/plain root:root 0o644 26.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/fl.lisp text/plain root:root 0o644 17.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/floor-proofs.lisp text/plain root:root 0o644 9.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/floor.lisp text/plain root:root 0o644 5.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/fp.lisp text/plain root:root 0o644 10.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/fp2.lisp text/plain root:root 0o644 25.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/ground-zero.lisp text/plain root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/hacks.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/induct.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/integerp.lisp text/plain root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/inverted-factor.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/mod-expt.lisp text/x-lisp root:root 0o644 12.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/mod-proofs.lisp text/x-lisp root:root 0o644 49.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/mod.lisp text/x-lisp root:root 0o644 31.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/negative-syntaxp.lisp text/x-lisp root:root 0o644 3.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/nniq.lisp text/plain root:root 0o644 21.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/numerator.lisp text/plain root:root 0o644 2.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/power2p.lisp text/x-lisp root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/predicate.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/product-proofs.lisp text/plain root:root 0o644 4.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/product.lisp text/plain root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/rationalp.lisp text/plain root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/top.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/unary-divide.lisp text/plain root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/arithmetic/x-2xx.lisp text/plain root:root 0o644 4.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/add.lisp text/x-lisp root:root 0o644 14.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/basic.lisp text/plain root:root 0o644 10.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/bits.lisp text/x-lisp root:root 0o644 23.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/bvecp-helpers.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/bvecp-raw-helpers.lisp text/x-lisp root:root 0o644 19.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/cert.acl2 text/plain root:root 0o644 195 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/clocks.lisp text/plain root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/float.lisp text/plain root:root 0o644 11.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/log.lisp text/x-lisp root:root 0o644 14.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/logn.lisp text/plain root:root 0o644 21.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/logn2log.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/openers.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/package-defs.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/round.lisp text/x-lisp root:root 0o644 40.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/rtl.lisp text/x-lisp root:root 0o644 19.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/simplify-model-helpers.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/srt.lisp text/x-lisp root:root 0o644 52.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/top.lisp text/plain root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/util.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/arith-extra.lisp text/plain root:root 0o644 643 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/arith.lisp text/x-lisp root:root 0o644 27.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/basic-extra.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/basic.lisp text/plain root:root 0o644 10.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/bits-extra.lisp text/x-lisp root:root 0o644 588 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/bits.lisp text/plain root:root 0o644 20.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/bvecp-raw-helpers-extra.lisp text/plain root:root 0o644 9.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/bvecp-raw-helpers.lisp text/x-lisp root:root 0o644 25.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/float-extra2.lisp text/plain root:root 0o644 32.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/float.lisp text/plain root:root 0o644 18.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/round-extra2.lisp text/plain root:root 0o644 232.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/round.lisp text/plain root:root 0o644 38.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta2/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta2/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta2/float-extra.lisp text/plain root:root 0o644 701 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta2/float.lisp text/plain root:root 0o644 18.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/add.lisp text/x-lisp root:root 0o644 12.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/arith.lisp text/x-lisp root:root 0o644 27.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/basic.lisp text/plain root:root 0o644 9.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/bits.lisp text/plain root:root 0o644 20.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/bvecp-helpers.lisp text/x-lisp root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/bvecp-raw-helpers.lisp text/x-lisp root:root 0o644 20.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/clocks.lisp text/plain root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/float.lisp text/plain root:root 0o644 10.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/log.lisp text/plain root:root 0o644 21.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/openers.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/package-defs.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/reps.lisp text/x-lisp root:root 0o644 11.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/round.lisp text/plain root:root 0o644 44.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/rtl.lisp text/x-lisp root:root 0o644 19.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/simplify-model-helpers.lisp text/plain root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/top.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib1/util.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/add-new-proofs.lisp text/plain root:root 0o644 50.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/add-new.lisp text/x-lisp root:root 0o644 14.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/add-proofs.lisp text/x-lisp root:root 0o644 16.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/add.lisp text/x-lisp root:root 0o644 11.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/arith.lisp text/x-lisp root:root 0o644 28.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/bits-new-proofs.lisp text/x-lisp root:root 0o644 55.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/bits-new.lisp text/plain root:root 0o644 23.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/bits-proofs.lisp text/plain root:root 0o644 48.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/bits.lisp text/plain root:root 0o644 21.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/bvecp-helpers.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/bvecp-raw-helpers-proofs.lisp text/x-lisp root:root 0o644 20.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/bvecp-raw-helpers.lisp text/x-lisp root:root 0o644 19.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/float-new-proofs.lisp text/plain root:root 0o644 21.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/float-new.lisp text/plain root:root 0o644 18.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/float-proofs.lisp text/plain root:root 0o644 20.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/float.lisp text/plain root:root 0o644 17.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/log-new-proofs.lisp text/x-lisp root:root 0o644 52.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/log-new.lisp text/x-lisp root:root 0o644 12.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/log-proofs.lisp text/x-lisp root:root 0o644 13.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/log-support-proofs.lisp text/plain root:root 0o644 12.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/log-support.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/log.lisp text/x-lisp root:root 0o644 12.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/logn-new-proofs.lisp text/plain root:root 0o644 28.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/logn-new.lisp text/x-lisp root:root 0o644 27.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/logn-proofs.lisp text/plain root:root 0o644 27.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/logn.lisp text/plain root:root 0o644 21.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/logn2log-proofs.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/logn2log.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/round-new-proofs.lisp text/plain root:root 0o644 42.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/round-new.lisp text/plain root:root 0o644 39.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/round-proofs.lisp text/plain root:root 0o644 40.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/round.lisp text/plain root:root 0o644 39.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/rtl-new-proofs.lisp text/x-lisp root:root 0o644 24.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/rtl-new.lisp text/x-lisp root:root 0o644 19.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/rtl-proofs.lisp text/x-lisp root:root 0o644 24.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/rtl.lisp text/x-lisp root:root 0o644 19.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/simplify-model-helpers-new-proofs.lisp text/plain root:root 0o644 3.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/simplify-model-helpers-new.lisp text/plain root:root 0o644 2.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/simplify-model-helpers-proofs.lisp text/plain root:root 0o644 3.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/simplify-model-helpers.lisp text/plain root:root 0o644 2.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/top.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta1/util.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta2/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta2/add-lib.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta2/add.lisp text/x-lisp root:root 0o644 11.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta2/base.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta2/bits.lisp text/plain root:root 0o644 23.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta2/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta2/log.lisp text/x-lisp root:root 0o644 12.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta3/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta3/base.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta3/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2.delta3/simplify-model-helpers.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/add.lisp text/x-lisp root:root 0o644 12.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/arith.lisp text/x-lisp root:root 0o644 27.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/base.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/basic.lisp text/plain root:root 0o644 10.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/bits.lisp text/plain root:root 0o644 20.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/bvecp-helpers.lisp text/x-lisp root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/bvecp-raw-helpers.lisp text/x-lisp root:root 0o644 19.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/clocks.lisp text/plain root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/float.lisp text/plain root:root 0o644 17.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/log.lisp text/plain root:root 0o644 21.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/openers.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/package-defs.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/round.lisp text/plain root:root 0o644 38.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/rtl.lisp text/x-lisp root:root 0o644 19.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/simplify-model-helpers.lisp text/plain root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/top.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib2/util.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta1/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta1/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta1/division.lisp text/x-lisp root:root 0o644 164.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta1/seed.lisp text/plain root:root 0o644 63.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta1/sqrt.lisp text/x-lisp root:root 0o644 360.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta1/srt.lisp text/x-lisp root:root 0o644 54.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/add.lisp text/x-lisp root:root 0o644 24.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/basic.lisp text/plain root:root 0o644 10.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/bits-old.lisp text/x-lisp root:root 0o644 50.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/bits.lisp text/x-lisp root:root 0o644 48.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/bvecp-raw-helpers.lisp text/x-lisp root:root 0o644 19.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/float.lisp text/x-lisp root:root 0o644 13.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/log.lisp text/x-lisp root:root 0o644 17.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/logn.lisp text/plain root:root 0o644 21.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/logn2log.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/round.lisp text/x-lisp root:root 0o644 40.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/simplify-model-helpers.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta2/top.lisp text/plain root:root 0o644 701 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta3/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta3/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3.delta3/round.lisp text/x-lisp root:root 0o644 24.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/add.lisp text/x-lisp root:root 0o644 11.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/arith.lisp text/x-lisp root:root 0o644 27.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/base.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/basic.lisp text/plain root:root 0o644 10.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/bits.lisp text/plain root:root 0o644 23.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/bvecp-helpers.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/bvecp-raw-helpers.lisp text/x-lisp root:root 0o644 19.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/clocks.lisp text/plain root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/float.lisp text/plain root:root 0o644 17.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/log.lisp text/x-lisp root:root 0o644 12.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/logn.lisp text/plain root:root 0o644 21.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/logn2log.lisp text/plain root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/openers.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/package-defs.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/round.lisp text/plain root:root 0o644 39.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/rtl.lisp text/x-lisp root:root 0o644 19.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/simplify-model-helpers.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/top.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/lib3/util.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/add3-proofs.lisp text/x-lisp root:root 0o644 12.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/add3.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/all-ones.lisp text/plain root:root 0o644 808 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ash.lisp text/x-lisp root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/away-proofs.lisp text/x-lisp root:root 0o644 48.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/away.lisp text/x-lisp root:root 0o644 12.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/badguys.lisp text/x-lisp root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bias-proofs.lisp text/plain root:root 0o644 2.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bias.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bitn-proofs.lisp text/x-lisp root:root 0o644 36.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bitn.lisp text/x-lisp root:root 0o644 19.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bits-proofs.lisp text/x-lisp root:root 0o644 55.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bits-trunc-proofs.lisp text/plain root:root 0o644 3.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bits-trunc.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bits.lisp text/x-lisp root:root 0o644 26.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bvecp-helpers.lisp text/plain root:root 0o644 6.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bvecp-lemmas.lisp text/x-lisp root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bvecp-proofs.lisp text/x-lisp root:root 0o644 7.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/bvecp.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/cat-def.lisp text/x-lisp root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/cat-proofs.lisp text/x-lisp root:root 0o644 41.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/cat.lisp text/x-lisp root:root 0o644 25.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/clocks.lisp text/plain root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/decode-proofs.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/decode.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/drnd-original.lisp text/x-lisp root:root 0o644 81.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/encode.lisp text/x-lisp root:root 0o644 4.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ereps-proofs.lisp text/plain root:root 0o644 20.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ereps.lisp text/plain root:root 0o644 6.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/fadd-extra.lisp text/plain root:root 0o644 15.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/fadd-extra0.lisp text/plain root:root 0o644 21.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/fadd.lisp text/x-lisp root:root 0o644 39.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/fast-and.lisp text/x-lisp root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/float-extra.lisp text/x-lisp root:root 0o644 18.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/float.lisp text/x-lisp root:root 0o644 54.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ground-zero.lisp text/plain root:root 0o644 500 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/guards.lisp text/plain root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ireps.lisp text/plain root:root 0o644 31.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/land.lisp text/x-lisp root:root 0o644 18.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/land0-proofs.lisp text/x-lisp root:root 0o644 26.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/land0.lisp text/x-lisp root:root 0o644 12.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lextra-proofs.lisp text/plain root:root 0o644 7.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lextra.lisp text/plain root:root 0o644 38.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lextra0.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lior.lisp text/x-lisp root:root 0o644 17.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lior0-proofs.lisp text/x-lisp root:root 0o644 18.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lior0.lisp text/x-lisp root:root 0o644 11.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lnot-proofs.lisp text/x-lisp root:root 0o644 24.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lnot.lisp text/x-lisp root:root 0o644 6.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/log-equal.lisp text/plain root:root 0o644 634 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/log-proofs.lisp text/x-lisp root:root 0o644 49.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/log.lisp text/x-lisp root:root 0o644 7.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/logand-proofs.lisp text/plain root:root 0o644 19.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/logand.lisp text/x-lisp root:root 0o644 10.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/logeqv.lisp text/plain root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/logior-proofs.lisp text/x-lisp root:root 0o644 23.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/logior.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/logior1-proofs.lisp text/plain root:root 0o644 830 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/logior1.lisp text/plain root:root 0o644 841 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lognot.lisp text/plain root:root 0o644 3.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/logorc1.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/logs.lisp text/x-lisp root:root 0o644 6.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/logxor.lisp text/x-lisp root:root 0o644 7.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lop1-proofs.lisp text/x-lisp root:root 0o644 27.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lop1.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lop2-proofs.lisp text/x-lisp root:root 0o644 17.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lop2.lisp text/plain root:root 0o644 925 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lop3-proofs.lisp text/plain root:root 0o644 66.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lop3.lisp text/plain root:root 0o644 7.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lxor.lisp text/x-lisp root:root 0o644 15.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lxor0-proofs.lisp text/x-lisp root:root 0o644 15.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/lxor0.lisp text/x-lisp root:root 0o644 8.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/merge.lisp text/x-lisp root:root 0o644 69.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/merge2.lisp text/plain root:root 0o644 7.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/mod4.lisp text/plain root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/model-helpers.lisp text/plain root:root 0o644 731 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/mulcat-proofs.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/mulcat.lisp text/x-lisp root:root 0o644 4.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/near+-proofs.lisp text/x-lisp root:root 0o644 70.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/near+.lisp text/x-lisp root:root 0o644 10.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/near-proofs.lisp text/x-lisp root:root 0o644 82.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/near.lisp text/x-lisp root:root 0o644 12.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ocat.lisp text/x-lisp root:root 0o644 11.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/oddr-proofs.lisp text/x-lisp root:root 0o644 18.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/oddr.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/openers.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/package-defs.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/rewrite-theory.lisp text/x-lisp root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/rnd.lisp text/x-lisp root:root 0o644 38.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/round-extra.lisp text/plain root:root 0o644 11.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/rtl.lisp text/x-lisp root:root 0o644 15.6 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/setbitn-proofs.lisp text/x-lisp root:root 0o644 6.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/setbitn.lisp text/x-lisp root:root 0o644 4.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/setbits-proofs.lisp text/x-lisp root:root 0o644 13.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/setbits.lisp text/x-lisp root:root 0o644 11.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/sgn.lisp text/x-lisp root:root 0o644 594 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/shft.lisp text/x-lisp root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/simplify-model-helpers.lisp text/plain root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/stick-proofs.lisp text/plain root:root 0o644 43.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/stick.lisp text/plain root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/sticky-proofs.lisp text/x-lisp root:root 0o644 33.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/sticky.lisp text/x-lisp root:root 0o644 7.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/sumbits.lisp text/x-lisp root:root 0o644 2.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/top.lisp text/plain root:root 0o644 622 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/top1.lisp text/plain root:root 0o644 33.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/trunc-proofs.lisp text/x-lisp root:root 0o644 41.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/trunc.lisp text/x-lisp root:root 0o644 13.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/util.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/top/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/top/cert.acl2 text/plain root:root 0o644 198 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/rel9-rtl-pkg/support/top/top.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/basic.lisp text/plain root:root 0o644 24.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/bits.lisp text/x-lisp root:root 0o644 71.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/cert.acl2 text/plain root:root 0o644 192 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/definitions.lisp text/x-lisp root:root 0o644 33.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/div.lisp text/plain root:root 0o644 7.0 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/example.lisp text/x-lisp root:root 0o644 21.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/excps.lisp text/plain root:root 0o644 45.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/float.lisp text/plain root:root 0o644 63.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/gl.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/harrison.lisp text/x-lisp root:root 0o644 17.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/log.lisp text/plain root:root 0o644 34.9 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/markstein.lisp text/plain root:root 0o644 160.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/masc.lisp text/x-lisp root:root 0o644 13.7 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/mult.lisp text/plain root:root 0o644 36.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/newton.lisp text/plain root:root 0o644 71.4 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/old-round.lisp text/plain root:root 0o644 201.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/rcp.lisp text/plain root:root 0o644 6.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/reps.lisp text/plain root:root 0o644 33.3 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/rnd-near-equal.lisp text/plain root:root 0o644 13.2 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/rom-helpers.lisp text/x-lisp root:root 0o644 673 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/round.lisp text/plain root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/simple-loop-helpers.lisp text/x-lisp root:root 0o644 13.5 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/sqrt.lisp text/plain root:root 0o644 64.1 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/top.lisp text/plain root:root 0o644 795 bytes
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/util.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/rtl/rel11/support/verify-guards.lisp text/plain root:root 0o644 16.5 KB

APT Browse - Built by Thomas Orozco.