acl2-books-source 4.3-3 / usr / share / acl2-4.3 / books / misc

This file is indexed.

/usr/share/acl2-4.3/books/misc/ is in acl2-books-source 4.3-3.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-4.3/books/misc/bash.lisp text/x-lisp root:root 0o644 10.0 KB
/usr/share/acl2-4.3/books/misc/beta-reduce.lisp text/x-lisp root:root 0o644 12.8 KB
/usr/share/acl2-4.3/books/misc/book-thms-example.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-4.3/books/misc/book-thms.lisp text/x-lisp root:root 0o644 8.5 KB
/usr/share/acl2-4.3/books/misc/callers-and-ancestors.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-4.3/books/misc/check-acl2-exports.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-4.3/books/misc/computed-hint-rewrite.lisp text/x-lisp root:root 0o644 6.2 KB
/usr/share/acl2-4.3/books/misc/computed-hint.lisp text/x-lisp root:root 0o644 16.6 KB
/usr/share/acl2-4.3/books/misc/csort.lisp text/x-lisp root:root 0o644 17.0 KB
/usr/share/acl2-4.3/books/misc/defattach-bang.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-4.3/books/misc/defattach-example.lisp text/x-lisp root:root 0o644 5.4 KB
/usr/share/acl2-4.3/books/misc/definline.acl2 text/plain root:root 0o644 66 bytes
/usr/share/acl2-4.3/books/misc/definline.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-4.3/books/misc/defmac.lisp text/x-lisp root:root 0o644 5.9 KB
/usr/share/acl2-4.3/books/misc/defopener.lisp text/x-lisp root:root 0o644 20.7 KB
/usr/share/acl2-4.3/books/misc/defp.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-4.3/books/misc/defproxy-test.acl2 text/plain root:root 0o644 59 bytes
/usr/share/acl2-4.3/books/misc/defproxy-test.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-4.3/books/misc/defpun.lisp text/x-lisp root:root 0o644 18.9 KB
/usr/share/acl2-4.3/books/misc/dft-ex.acl2 text/plain root:root 0o644 63 bytes
/usr/share/acl2-4.3/books/misc/dft-ex.lisp text/plain root:root 0o644 4.6 KB
/usr/share/acl2-4.3/books/misc/dft.lisp text/x-lisp root:root 0o644 29.4 KB
/usr/share/acl2-4.3/books/misc/doc-section.lisp text/plain root:root 0o644 88 bytes
/usr/share/acl2-4.3/books/misc/dump-events.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-4.3/books/misc/evalable-printing.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-4.3/books/misc/expander.lisp text/x-lisp root:root 0o644 64.0 KB
/usr/share/acl2-4.3/books/misc/fast-coerce.lisp text/plain root:root 0o644 6.6 KB
/usr/share/acl2-4.3/books/misc/fibonacci.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-4.3/books/misc/file-io.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-4.3/books/misc/find-lemmas.lisp text/x-lisp root:root 0o644 2.9 KB
/usr/share/acl2-4.3/books/misc/gentle.lisp text/plain root:root 0o644 11.0 KB
/usr/share/acl2-4.3/books/misc/getprop.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-4.3/books/misc/goodstein.lisp text/x-lisp root:root 0o644 4.5 KB
/usr/share/acl2-4.3/books/misc/grcd.lisp text/x-lisp root:root 0o644 18.8 KB
/usr/share/acl2-4.3/books/misc/hanoi.acl2 text/plain root:root 0o644 182 bytes
/usr/share/acl2-4.3/books/misc/hanoi.lisp text/x-lisp root:root 0o644 12.3 KB
/usr/share/acl2-4.3/books/misc/hons-help.lisp text/plain root:root 0o644 25.9 KB
/usr/share/acl2-4.3/books/misc/hons-help2.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-4.3/books/misc/hons-tests.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-4.3/books/misc/how-to-prove-thms.lisp text/x-lisp root:root 0o644 23.4 KB
/usr/share/acl2-4.3/books/misc/int-division.lisp text/x-lisp root:root 0o644 8.1 KB
/usr/share/acl2-4.3/books/misc/integer-type-set-test.lisp text/x-lisp root:root 0o644 1.8 KB
/usr/share/acl2-4.3/books/misc/invariants.lisp text/x-lisp root:root 0o644 10.9 KB
/usr/share/acl2-4.3/books/misc/meta-lemmas.lisp text/x-lisp root:root 0o644 8.7 KB
/usr/share/acl2-4.3/books/misc/misc2/ root:root 0o755
/usr/share/acl2-4.3/books/misc/misc2/defpun-exec-domain-example.lisp text/plain root:root 0o644 4.1 KB
/usr/share/acl2-4.3/books/misc/misc2/misc.lisp text/x-lisp root:root 0o644 663 bytes
/usr/share/acl2-4.3/books/misc/misc2/reverse-by-separation.acl2 text/x-lisp root:root 0o644 151 bytes
/usr/share/acl2-4.3/books/misc/misc2/reverse-by-separation.lisp text/x-lisp root:root 0o644 15.0 KB
/usr/share/acl2-4.3/books/misc/misc2/ruler-extenders-tests.acl2 text/plain root:root 0o644 62 bytes
/usr/share/acl2-4.3/books/misc/misc2/ruler-extenders-tests.lisp text/x-lisp root:root 0o644 14.2 KB
/usr/share/acl2-4.3/books/misc/misc2/step-limits.lisp text/plain root:root 0o644 5.8 KB
/usr/share/acl2-4.3/books/misc/mult.lisp text/plain root:root 0o644 34.2 KB
/usr/share/acl2-4.3/books/misc/oprof.acl2 text/plain root:root 0o644 43 bytes
/usr/share/acl2-4.3/books/misc/oprof.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-4.3/books/misc/priorities.lisp text/plain root:root 0o644 9.2 KB
/usr/share/acl2-4.3/books/misc/problem13.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-4.3/books/misc/process-book-readme.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-4.3/books/misc/profiling.acl2 text/plain root:root 0o644 51 bytes
/usr/share/acl2-4.3/books/misc/profiling.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-4.3/books/misc/qi-correct.lisp text/x-lisp root:root 0o644 17.8 KB
/usr/share/acl2-4.3/books/misc/qi.lisp text/plain root:root 0o644 47.9 KB
/usr/share/acl2-4.3/books/misc/radix.acl2 text/plain root:root 0o644 183 bytes
/usr/share/acl2-4.3/books/misc/radix.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-4.3/books/misc/random.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-4.3/books/misc/records.lisp text/x-lisp root:root 0o644 8.8 KB
/usr/share/acl2-4.3/books/misc/records0.lisp text/x-lisp root:root 0o644 10.9 KB
/usr/share/acl2-4.3/books/misc/redef-pkg.acl2 text/plain root:root 0o644 51 bytes
/usr/share/acl2-4.3/books/misc/redef-pkg.lisp text/x-lisp root:root 0o644 16.1 KB
/usr/share/acl2-4.3/books/misc/rtl-untranslate.lisp text/x-lisp root:root 0o644 28.5 KB
/usr/share/acl2-4.3/books/misc/seq.lisp text/plain root:root 0o644 24.5 KB
/usr/share/acl2-4.3/books/misc/seqw.lisp text/x-lisp root:root 0o644 13.5 KB
/usr/share/acl2-4.3/books/misc/simplify-defuns.lisp text/x-lisp root:root 0o644 43.3 KB
/usr/share/acl2-4.3/books/misc/simplify-thm.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-4.3/books/misc/sin-cos.lisp text/x-lisp root:root 0o644 11.0 KB
/usr/share/acl2-4.3/books/misc/sort-symbols.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-4.3/books/misc/sticky-disable.lisp text/x-lisp root:root 0o644 2.2 KB
/usr/share/acl2-4.3/books/misc/symbol-btree.lisp text/x-lisp root:root 0o644 7.5 KB
/usr/share/acl2-4.3/books/misc/total-order.lisp text/x-lisp root:root 0o644 696 bytes
/usr/share/acl2-4.3/books/misc/trace-star.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-4.3/books/misc/transfinite.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-4.3/books/misc/untranslate-patterns.lisp text/x-lisp root:root 0o644 20.2 KB
/usr/share/acl2-4.3/books/misc/wet.lisp text/x-lisp root:root 0o644 7.7 KB

APT Browse - Built by Thomas Orozco.