acl2-books-source 6.3-5 / usr / share / acl2-6.3 / books / misc

This file is indexed.

/usr/share/acl2-6.3/books/misc/ is in acl2-books-source 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/misc/assert.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-6.3/books/misc/bash-bsd.lisp text/x-lisp root:root 0o644 14.7 KB
/usr/share/acl2-6.3/books/misc/bash.lisp text/x-lisp root:root 0o644 9.5 KB
/usr/share/acl2-6.3/books/misc/beta-reduce.lisp text/x-lisp root:root 0o644 14.5 KB
/usr/share/acl2-6.3/books/misc/book-checks.lisp text/x-lisp root:root 0o644 8.9 KB
/usr/share/acl2-6.3/books/misc/callers-and-ancestors.lisp text/x-lisp root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/misc/character-encoding-test.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-6.3/books/misc/check-acl2-exports.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-6.3/books/misc/check-state.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-6.3/books/misc/computed-hint-rewrite.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-6.3/books/misc/computed-hint.lisp text/x-lisp root:root 0o644 16.6 KB
/usr/share/acl2-6.3/books/misc/congruent-stobjs-test.lisp text/x-lisp root:root 0o644 7.2 KB
/usr/share/acl2-6.3/books/misc/csort.lisp text/x-lisp root:root 0o644 17.0 KB
/usr/share/acl2-6.3/books/misc/dead-events.lisp text/plain root:root 0o644 19.0 KB
/usr/share/acl2-6.3/books/misc/defabsstobj-example-1.lisp text/x-lisp root:root 0o644 18.7 KB
/usr/share/acl2-6.3/books/misc/defabsstobj-example-2.lisp text/x-lisp root:root 0o644 11.7 KB
/usr/share/acl2-6.3/books/misc/defabsstobj-example-3.lisp text/x-lisp root:root 0o644 13.1 KB
/usr/share/acl2-6.3/books/misc/defabsstobj-example-4.acl2 text/plain root:root 0o644 310 bytes
/usr/share/acl2-6.3/books/misc/defabsstobj-example-4.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-6.3/books/misc/defattach-bang.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-6.3/books/misc/defattach-example.lisp text/x-lisp root:root 0o644 8.6 KB
/usr/share/acl2-6.3/books/misc/definline.lisp text/x-lisp root:root 0o644 1.5 KB
/usr/share/acl2-6.3/books/misc/defmac.lisp text/x-lisp root:root 0o644 6.0 KB
/usr/share/acl2-6.3/books/misc/defopener.lisp text/x-lisp root:root 0o644 21.0 KB
/usr/share/acl2-6.3/books/misc/defp.lisp text/x-lisp root:root 0o644 5.9 KB
/usr/share/acl2-6.3/books/misc/defproxy-test.acl2 text/plain root:root 0o644 282 bytes
/usr/share/acl2-6.3/books/misc/defproxy-test.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-6.3/books/misc/defpun.lisp text/x-lisp root:root 0o644 18.1 KB
/usr/share/acl2-6.3/books/misc/defun-plus.lisp text/x-lisp root:root 0o644 11.2 KB
/usr/share/acl2-6.3/books/misc/dft-ex.acl2 text/plain root:root 0o644 80 bytes
/usr/share/acl2-6.3/books/misc/dft-ex.lisp text/plain root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/misc/dft.lisp text/x-lisp root:root 0o644 29.5 KB
/usr/share/acl2-6.3/books/misc/dijkstra-shortest-path.lisp text/x-lisp root:root 0o644 36.3 KB
/usr/share/acl2-6.3/books/misc/disassemble.acl2 text/plain root:root 0o644 277 bytes
/usr/share/acl2-6.3/books/misc/disassemble.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-6.3/books/misc/dump-events.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-6.3/books/misc/equal-by-g-help.lisp text/x-lisp root:root 0o644 9.4 KB
/usr/share/acl2-6.3/books/misc/equal-by-g.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-6.3/books/misc/eval.lisp text/plain root:root 0o644 4.2 KB
/usr/share/acl2-6.3/books/misc/evalable-printing.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-6.3/books/misc/expander.lisp text/x-lisp root:root 0o644 63.4 KB
/usr/share/acl2-6.3/books/misc/fast-coerce.lisp text/plain root:root 0o644 6.6 KB
/usr/share/acl2-6.3/books/misc/fibonacci.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-6.3/books/misc/file-io.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-6.3/books/misc/find-lemmas.lisp text/x-lisp root:root 0o644 3.1 KB
/usr/share/acl2-6.3/books/misc/gentle.lisp text/plain root:root 0o644 11.3 KB
/usr/share/acl2-6.3/books/misc/getprop.lisp text/x-lisp root:root 0o644 6.4 KB
/usr/share/acl2-6.3/books/misc/goodstein.lisp text/x-lisp root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/misc/grcd.lisp text/x-lisp root:root 0o644 18.8 KB
/usr/share/acl2-6.3/books/misc/hanoi.acl2 text/plain root:root 0o644 385 bytes
/usr/share/acl2-6.3/books/misc/hanoi.lisp text/x-lisp root:root 0o644 12.4 KB
/usr/share/acl2-6.3/books/misc/hons-help.lisp text/plain root:root 0o644 34.3 KB
/usr/share/acl2-6.3/books/misc/hons-help2.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-6.3/books/misc/hons-tests.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-6.3/books/misc/how-to-prove-thms.lisp text/x-lisp root:root 0o644 23.5 KB
/usr/share/acl2-6.3/books/misc/int-division.lisp text/x-lisp root:root 0o644 8.1 KB
/usr/share/acl2-6.3/books/misc/integer-type-set-test.lisp text/x-lisp root:root 0o644 1.8 KB
/usr/share/acl2-6.3/books/misc/invariants.lisp text/x-lisp root:root 0o644 10.9 KB
/usr/share/acl2-6.3/books/misc/meta-lemmas.lisp text/x-lisp root:root 0o644 8.1 KB
/usr/share/acl2-6.3/books/misc/misc2/ root:root 0o755
/usr/share/acl2-6.3/books/misc/misc2/defpun-exec-domain-example.lisp text/plain root:root 0o644 4.1 KB
/usr/share/acl2-6.3/books/misc/misc2/misc.lisp text/x-lisp root:root 0o644 663 bytes
/usr/share/acl2-6.3/books/misc/misc2/reverse-by-separation.acl2 text/x-lisp root:root 0o644 197 bytes
/usr/share/acl2-6.3/books/misc/misc2/reverse-by-separation.lisp text/x-lisp root:root 0o644 15.0 KB
/usr/share/acl2-6.3/books/misc/misc2/ruler-extenders-tests.acl2 text/plain root:root 0o644 264 bytes
/usr/share/acl2-6.3/books/misc/misc2/ruler-extenders-tests.lisp text/x-lisp root:root 0o644 14.4 KB
/usr/share/acl2-6.3/books/misc/misc2/step-limits.lisp text/plain root:root 0o644 5.8 KB
/usr/share/acl2-6.3/books/misc/mult.lisp text/plain root:root 0o644 34.2 KB
/usr/share/acl2-6.3/books/misc/nested-stobj-tests.lisp text/x-lisp root:root 0o644 31.6 KB
/usr/share/acl2-6.3/books/misc/oprof.acl2 text/plain root:root 0o644 77 bytes
/usr/share/acl2-6.3/books/misc/oprof.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-6.3/books/misc/priorities.lisp text/plain root:root 0o644 9.4 KB
/usr/share/acl2-6.3/books/misc/problem13.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/misc/process-book-readme.lisp text/x-lisp root:root 0o644 5.9 KB
/usr/share/acl2-6.3/books/misc/profiling.acl2 text/plain root:root 0o644 375 bytes
/usr/share/acl2-6.3/books/misc/profiling.lisp text/plain root:root 0o644 1.8 KB
/usr/share/acl2-6.3/books/misc/qi-correct.acl2 text/plain root:root 0o644 645 bytes
/usr/share/acl2-6.3/books/misc/qi-correct.lisp text/x-lisp root:root 0o644 18.0 KB
/usr/share/acl2-6.3/books/misc/qi.acl2 text/plain root:root 0o644 286 bytes
/usr/share/acl2-6.3/books/misc/qi.lisp text/plain root:root 0o644 48.1 KB
/usr/share/acl2-6.3/books/misc/radix.acl2 text/plain root:root 0o644 185 bytes
/usr/share/acl2-6.3/books/misc/radix.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-6.3/books/misc/random.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-6.3/books/misc/records-bsd.lisp text/x-lisp root:root 0o644 10.4 KB
/usr/share/acl2-6.3/books/misc/records.lisp text/x-lisp root:root 0o644 8.8 KB
/usr/share/acl2-6.3/books/misc/records0.lisp text/x-lisp root:root 0o644 10.9 KB
/usr/share/acl2-6.3/books/misc/redef-pkg.acl2 text/plain root:root 0o644 89 bytes
/usr/share/acl2-6.3/books/misc/redef-pkg.lisp text/x-lisp root:root 0o644 17.0 KB
/usr/share/acl2-6.3/books/misc/rtl-untranslate.lisp text/x-lisp root:root 0o644 29.1 KB
/usr/share/acl2-6.3/books/misc/save-time.lisp text/x-lisp root:root 0o644 9.7 KB
/usr/share/acl2-6.3/books/misc/seq.lisp text/plain root:root 0o644 24.5 KB
/usr/share/acl2-6.3/books/misc/seqw.lisp text/x-lisp root:root 0o644 13.5 KB
/usr/share/acl2-6.3/books/misc/simplify-defuns.lisp text/x-lisp root:root 0o644 42.8 KB
/usr/share/acl2-6.3/books/misc/simplify-thm.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/misc/sin-cos.lisp text/x-lisp root:root 0o644 11.0 KB
/usr/share/acl2-6.3/books/misc/sort-symbols.lisp text/x-lisp root:root 0o644 5.3 KB
/usr/share/acl2-6.3/books/misc/sticky-disable.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-6.3/books/misc/symbol-btree.lisp text/x-lisp root:root 0o644 28.2 KB
/usr/share/acl2-6.3/books/misc/total-order-bsd.lisp text/x-lisp root:root 0o644 12.4 KB
/usr/share/acl2-6.3/books/misc/total-order.lisp text/x-lisp root:root 0o644 15.8 KB
/usr/share/acl2-6.3/books/misc/trace-star.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/misc/transfinite.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-6.3/books/misc/untranslate-patterns.lisp text/x-lisp root:root 0o644 20.2 KB
/usr/share/acl2-6.3/books/misc/wet.lisp text/x-lisp root:root 0o644 8.3 KB

APT Browse - Built by Thomas Orozco.