acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / misc

This file is indexed.

/usr/share/acl2-8.0dfsg/books/misc/ 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/misc/arithmetic-top-theory.lisp text/plain root:root 0o644 357 bytes
/usr/share/acl2-8.0dfsg/books/misc/assert-tests.lisp text/x-lisp root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/misc/assert.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/misc/bash-bsd.lisp text/plain root:root 0o644 463 bytes
/usr/share/acl2-8.0dfsg/books/misc/bash.lisp text/x-lisp root:root 0o644 14.5 KB
/usr/share/acl2-8.0dfsg/books/misc/beta-reduce.lisp text/x-lisp root:root 0o644 14.5 KB
/usr/share/acl2-8.0dfsg/books/misc/book-checks.lisp text/x-lisp root:root 0o644 9.3 KB
/usr/share/acl2-8.0dfsg/books/misc/callers-and-ancestors.lisp text/x-lisp root:root 0o644 4.5 KB
/usr/share/acl2-8.0dfsg/books/misc/character-encoding-test.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/misc/check-acl2-exports.lisp text/x-lisp root:root 0o644 7.6 KB
/usr/share/acl2-8.0dfsg/books/misc/check-fn-inst.lisp text/x-lisp root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/misc/check-state.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/misc/computed-hint-rewrite.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-8.0dfsg/books/misc/computed-hint.lisp text/x-lisp root:root 0o644 16.1 KB
/usr/share/acl2-8.0dfsg/books/misc/congruent-stobjs-test.lisp text/x-lisp root:root 0o644 7.2 KB
/usr/share/acl2-8.0dfsg/books/misc/csort.lisp text/x-lisp root:root 0o644 16.5 KB
/usr/share/acl2-8.0dfsg/books/misc/dead-events.lisp text/plain root:root 0o644 157 bytes
/usr/share/acl2-8.0dfsg/books/misc/defabsstobj-example-1.lisp text/x-lisp root:root 0o644 18.5 KB
/usr/share/acl2-8.0dfsg/books/misc/defabsstobj-example-2.lisp text/x-lisp root:root 0o644 11.7 KB
/usr/share/acl2-8.0dfsg/books/misc/defabsstobj-example-3.lisp text/x-lisp root:root 0o644 13.1 KB
/usr/share/acl2-8.0dfsg/books/misc/defabsstobj-example-4.acl2 text/plain root:root 0o644 310 bytes
/usr/share/acl2-8.0dfsg/books/misc/defabsstobj-example-4.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/misc/defattach-bang.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/misc/defattach-example.lisp text/x-lisp root:root 0o644 8.6 KB
/usr/share/acl2-8.0dfsg/books/misc/definline.lisp text/x-lisp root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/misc/defmac.lisp text/x-lisp root:root 0o644 6.2 KB
/usr/share/acl2-8.0dfsg/books/misc/defopener.lisp text/x-lisp root:root 0o644 21.5 KB
/usr/share/acl2-8.0dfsg/books/misc/defp.lisp text/x-lisp root:root 0o644 5.9 KB
/usr/share/acl2-8.0dfsg/books/misc/defpm.lisp text/x-lisp root:root 0o644 40.5 KB
/usr/share/acl2-8.0dfsg/books/misc/defproxy-test.acl2 text/plain root:root 0o644 282 bytes
/usr/share/acl2-8.0dfsg/books/misc/defproxy-test.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/misc/defpun.lisp text/x-lisp root:root 0o644 22.1 KB
/usr/share/acl2-8.0dfsg/books/misc/defun-plus.lisp text/x-lisp root:root 0o644 11.2 KB
/usr/share/acl2-8.0dfsg/books/misc/dft-ex.acl2 text/plain root:root 0o644 248 bytes
/usr/share/acl2-8.0dfsg/books/misc/dft-ex.lisp text/plain root:root 0o644 4.7 KB
/usr/share/acl2-8.0dfsg/books/misc/dft.lisp text/x-lisp root:root 0o644 30.0 KB
/usr/share/acl2-8.0dfsg/books/misc/dijkstra-shortest-path.lisp text/x-lisp root:root 0o644 36.2 KB
/usr/share/acl2-8.0dfsg/books/misc/disassemble.acl2 text/plain root:root 0o644 277 bytes
/usr/share/acl2-8.0dfsg/books/misc/disassemble.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-8.0dfsg/books/misc/dump-events.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-8.0dfsg/books/misc/eliminate-irrelevance-tests.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/misc/enumerate.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/misc/equal-by-g-help.lisp text/x-lisp root:root 0o644 9.8 KB
/usr/share/acl2-8.0dfsg/books/misc/equal-by-g.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/misc/eval-tests.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/misc/eval.lisp text/plain root:root 0o644 17.5 KB
/usr/share/acl2-8.0dfsg/books/misc/evalable-printing.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-8.0dfsg/books/misc/expander.lisp text/x-lisp root:root 0o644 69.6 KB
/usr/share/acl2-8.0dfsg/books/misc/fast-coerce.lisp text/plain root:root 0o644 7.1 KB
/usr/share/acl2-8.0dfsg/books/misc/fibonacci.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-8.0dfsg/books/misc/file-io.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/misc/find-lemmas.lisp text/x-lisp root:root 0o644 7.5 KB
/usr/share/acl2-8.0dfsg/books/misc/gentle.lisp text/plain root:root 0o644 6.3 KB
/usr/share/acl2-8.0dfsg/books/misc/getprop.lisp text/x-lisp root:root 0o644 6.4 KB
/usr/share/acl2-8.0dfsg/books/misc/goodstein.lisp text/x-lisp root:root 0o644 4.5 KB
/usr/share/acl2-8.0dfsg/books/misc/grcd.lisp text/x-lisp root:root 0o644 18.7 KB
/usr/share/acl2-8.0dfsg/books/misc/hanoi.acl2 text/plain root:root 0o644 385 bytes
/usr/share/acl2-8.0dfsg/books/misc/hanoi.lisp text/x-lisp root:root 0o644 12.3 KB
/usr/share/acl2-8.0dfsg/books/misc/hidden-defpkg-checks/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/misc/hidden-defpkg-checks/pkg1.acl2 text/plain root:root 0o644 22 bytes
/usr/share/acl2-8.0dfsg/books/misc/hidden-defpkg-checks/pkg1.lisp text/plain root:root 0o644 20 bytes
/usr/share/acl2-8.0dfsg/books/misc/hidden-defpkg-checks/pkg2.acl2 text/plain root:root 0o644 23 bytes
/usr/share/acl2-8.0dfsg/books/misc/hidden-defpkg-checks/pkg2.lisp text/plain root:root 0o644 20 bytes
/usr/share/acl2-8.0dfsg/books/misc/hidden-defpkg-checks/sub1.lisp text/plain root:root 0o644 353 bytes
/usr/share/acl2-8.0dfsg/books/misc/hidden-defpkg-checks/sub2.lisp text/plain root:root 0o644 347 bytes
/usr/share/acl2-8.0dfsg/books/misc/hidden-defpkg-checks/top.lisp text/plain root:root 0o644 468 bytes
/usr/share/acl2-8.0dfsg/books/misc/hons-help.lisp text/plain root:root 0o644 25.1 KB
/usr/share/acl2-8.0dfsg/books/misc/hons-help2.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/misc/hons-tests.lisp text/x-lisp root:root 0o644 54.8 KB
/usr/share/acl2-8.0dfsg/books/misc/how-to-prove-thms.lisp text/x-lisp root:root 0o644 23.5 KB
/usr/share/acl2-8.0dfsg/books/misc/install-not-normalized-tests.lisp text/x-lisp root:root 0o644 11.1 KB
/usr/share/acl2-8.0dfsg/books/misc/install-not-normalized.lisp text/x-lisp root:root 0o644 13.1 KB
/usr/share/acl2-8.0dfsg/books/misc/int-division.lisp text/x-lisp root:root 0o644 8.5 KB
/usr/share/acl2-8.0dfsg/books/misc/integer-type-set-test.lisp text/x-lisp root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/misc/invariants.lisp text/x-lisp root:root 0o644 11.5 KB
/usr/share/acl2-8.0dfsg/books/misc/meta-lemmas.lisp text/x-lisp root:root 0o644 8.7 KB
/usr/share/acl2-8.0dfsg/books/misc/misc2/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/misc/misc2/defpun-exec-domain-example.lisp text/plain root:root 0o644 4.3 KB
/usr/share/acl2-8.0dfsg/books/misc/misc2/misc.lisp text/x-lisp root:root 0o644 663 bytes
/usr/share/acl2-8.0dfsg/books/misc/misc2/reverse-by-separation.acl2 text/plain root:root 0o644 130 bytes
/usr/share/acl2-8.0dfsg/books/misc/misc2/reverse-by-separation.lisp text/x-lisp root:root 0o644 15.0 KB
/usr/share/acl2-8.0dfsg/books/misc/misc2/ruler-extenders-tests.acl2 text/plain root:root 0o644 264 bytes
/usr/share/acl2-8.0dfsg/books/misc/misc2/ruler-extenders-tests.lisp text/x-lisp root:root 0o644 14.3 KB
/usr/share/acl2-8.0dfsg/books/misc/misc2/step-limits.acl2 text/plain root:root 0o644 110 bytes
/usr/share/acl2-8.0dfsg/books/misc/misc2/step-limits.lisp text/plain root:root 0o644 5.8 KB
/usr/share/acl2-8.0dfsg/books/misc/mult.lisp text/plain root:root 0o644 34.3 KB
/usr/share/acl2-8.0dfsg/books/misc/multi-v-uni.lisp text/x-lisp root:root 0o644 30.1 KB
/usr/share/acl2-8.0dfsg/books/misc/oprof.acl2 text/plain root:root 0o644 77 bytes
/usr/share/acl2-8.0dfsg/books/misc/oprof.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/misc/priorities.lisp text/plain root:root 0o644 9.2 KB
/usr/share/acl2-8.0dfsg/books/misc/problem13.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-8.0dfsg/books/misc/process-book-readme.lisp text/x-lisp root:root 0o644 5.9 KB
/usr/share/acl2-8.0dfsg/books/misc/profiling.acl2 text/plain root:root 0o644 375 bytes
/usr/share/acl2-8.0dfsg/books/misc/profiling.lisp text/x-lisp root:root 0o644 5.1 KB
/usr/share/acl2-8.0dfsg/books/misc/radix.acl2 text/plain root:root 0o644 185 bytes
/usr/share/acl2-8.0dfsg/books/misc/radix.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/misc/random.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/misc/records-bsd.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/misc/records.lisp text/html root:root 0o644 13.8 KB
/usr/share/acl2-8.0dfsg/books/misc/records0.lisp text/x-lisp root:root 0o644 10.8 KB
/usr/share/acl2-8.0dfsg/books/misc/redef-pkg.acl2 text/plain root:root 0o644 89 bytes
/usr/share/acl2-8.0dfsg/books/misc/redef-pkg.lisp text/x-lisp root:root 0o644 17.0 KB
/usr/share/acl2-8.0dfsg/books/misc/rtl-untranslate.lisp text/x-lisp root:root 0o644 30.8 KB
/usr/share/acl2-8.0dfsg/books/misc/save-time.lisp text/x-lisp root:root 0o644 9.7 KB
/usr/share/acl2-8.0dfsg/books/misc/seq.lisp text/plain root:root 0o644 24.0 KB
/usr/share/acl2-8.0dfsg/books/misc/seqw.lisp text/x-lisp root:root 0o644 13.9 KB
/usr/share/acl2-8.0dfsg/books/misc/simp.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/misc/simplify-defuns.lisp text/x-lisp root:root 0o644 42.9 KB
/usr/share/acl2-8.0dfsg/books/misc/simplify-thm.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/misc/sin-cos.lisp text/x-lisp root:root 0o644 13.0 KB
/usr/share/acl2-8.0dfsg/books/misc/sort-symbols.lisp text/x-lisp root:root 0o644 5.4 KB
/usr/share/acl2-8.0dfsg/books/misc/sticky-disable.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/misc/symbol-btree.lisp text/x-lisp root:root 0o644 28.2 KB
/usr/share/acl2-8.0dfsg/books/misc/total-order-bsd.lisp text/plain root:root 0o644 427 bytes
/usr/share/acl2-8.0dfsg/books/misc/total-order.acl2 text/plain root:root 0o644 76 bytes
/usr/share/acl2-8.0dfsg/books/misc/total-order.lisp text/x-lisp root:root 0o644 15.8 KB
/usr/share/acl2-8.0dfsg/books/misc/trace-star.lisp text/x-lisp root:root 0o644 4.7 KB
/usr/share/acl2-8.0dfsg/books/misc/transfinite.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/misc/untranslate-patterns.lisp text/x-lisp root:root 0o644 21.1 KB
/usr/share/acl2-8.0dfsg/books/misc/wet.lisp text/x-lisp root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/misc/with-waterfall-parallelism.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/misc/without-waterfall-parallelism.lisp text/x-lisp root:root 0o644 3.1 KB

APT Browse - Built by Thomas Orozco.