acl2-books-source 7.2dfsg-3 / usr / share / acl2-7.2dfsg / books / tools

This file is indexed.

/usr/share/acl2-7.2dfsg/books/tools/ is in acl2-books-source 7.2dfsg-3.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-7.2dfsg/books/tools/advise.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.2dfsg/books/tools/advise.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-7.2dfsg/books/tools/book-conflicts/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/tools/book-conflicts/bookdata-types.lisp text/x-lisp root:root 0o644 7.8 KB
/usr/share/acl2-7.2dfsg/books/tools/book-conflicts/cert.acl2 text/plain root:root 0o644 80 bytes
/usr/share/acl2-7.2dfsg/books/tools/book-conflicts/conflicts.lisp text/x-lisp root:root 0o644 47.3 KB
/usr/share/acl2-7.2dfsg/books/tools/bstar.lisp text/plain root:root 0o644 154 bytes
/usr/share/acl2-7.2dfsg/books/tools/case-splitting-rules.lisp text/x-lisp root:root 0o644 5.4 KB
/usr/share/acl2-7.2dfsg/books/tools/clone-stobj.lisp text/x-lisp root:root 0o644 10.9 KB
/usr/share/acl2-7.2dfsg/books/tools/cws.lisp text/x-lisp root:root 0o644 526 bytes
/usr/share/acl2-7.2dfsg/books/tools/dead-events.lisp text/plain root:root 0o644 19.0 KB
/usr/share/acl2-7.2dfsg/books/tools/def-functional-instance.lisp text/x-lisp root:root 0o644 4.5 KB
/usr/share/acl2-7.2dfsg/books/tools/defevaluator-fast.lisp text/plain root:root 0o644 29.4 KB
/usr/share/acl2-7.2dfsg/books/tools/define-keyed-function.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-7.2dfsg/books/tools/defined-const.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-7.2dfsg/books/tools/defmacfun.lisp text/x-lisp root:root 0o644 8.3 KB
/usr/share/acl2-7.2dfsg/books/tools/defsum.lisp text/x-lisp root:root 0o644 47.7 KB
/usr/share/acl2-7.2dfsg/books/tools/deftuple.lisp text/x-lisp root:root 0o644 25.1 KB
/usr/share/acl2-7.2dfsg/books/tools/do-not.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-7.2dfsg/books/tools/easy-simplify.lisp text/x-lisp root:root 0o644 6.8 KB
/usr/share/acl2-7.2dfsg/books/tools/fake-event.lisp text/x-lisp root:root 0o644 4.7 KB
/usr/share/acl2-7.2dfsg/books/tools/flag-tests.lisp text/plain root:root 0o644 11.1 KB
/usr/share/acl2-7.2dfsg/books/tools/flag.acl2 text/plain root:root 0o644 63 bytes
/usr/share/acl2-7.2dfsg/books/tools/flag.lisp text/plain root:root 0o644 50.9 KB
/usr/share/acl2-7.2dfsg/books/tools/in-raw-mode.acl2 text/plain root:root 0o644 94 bytes
/usr/share/acl2-7.2dfsg/books/tools/in-raw-mode.lisp text/plain root:root 0o644 215 bytes
/usr/share/acl2-7.2dfsg/books/tools/include-an-arithmetic-book.lisp text/html root:root 0o644 2.9 KB
/usr/share/acl2-7.2dfsg/books/tools/include-raw.acl2 text/plain root:root 0o644 75 bytes
/usr/share/acl2-7.2dfsg/books/tools/include-raw.lisp text/plain root:root 0o644 13.1 KB
/usr/share/acl2-7.2dfsg/books/tools/last-theory-change.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-7.2dfsg/books/tools/lint.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.2dfsg/books/tools/lint.lisp text/x-lisp root:root 0o644 6.4 KB
/usr/share/acl2-7.2dfsg/books/tools/match-tree.lisp text/plain root:root 0o644 27.2 KB
/usr/share/acl2-7.2dfsg/books/tools/mv-nth.lisp text/plain root:root 0o644 2.5 KB
/usr/share/acl2-7.2dfsg/books/tools/oracle-eval-real.acl2 text/plain root:root 0o644 80 bytes
/usr/share/acl2-7.2dfsg/books/tools/oracle-eval-real.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-7.2dfsg/books/tools/oracle-eval.lisp text/plain root:root 0o644 5.7 KB
/usr/share/acl2-7.2dfsg/books/tools/oracle-time-tests.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.2dfsg/books/tools/oracle-time-tests.lisp text/x-lisp root:root 0o644 4.4 KB
/usr/share/acl2-7.2dfsg/books/tools/oracle-time.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.2dfsg/books/tools/oracle-time.lisp text/plain root:root 0o644 7.0 KB
/usr/share/acl2-7.2dfsg/books/tools/oracle-timelimit-tests.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.2dfsg/books/tools/oracle-timelimit-tests.lisp text/x-lisp root:root 0o644 13.6 KB
/usr/share/acl2-7.2dfsg/books/tools/oracle-timelimit.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.2dfsg/books/tools/oracle-timelimit.lisp text/plain root:root 0o644 11.0 KB
/usr/share/acl2-7.2dfsg/books/tools/pattern-match.lisp text/plain root:root 0o644 36.2 KB
/usr/share/acl2-7.2dfsg/books/tools/plev-ccl.acl2 text/plain root:root 0o644 91 bytes
/usr/share/acl2-7.2dfsg/books/tools/plev-ccl.lisp text/x-lisp root:root 0o644 348 bytes
/usr/share/acl2-7.2dfsg/books/tools/plev.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-7.2dfsg/books/tools/removable-runes.lisp text/x-lisp root:root 0o644 16.6 KB
/usr/share/acl2-7.2dfsg/books/tools/remove-hyps.lisp text/x-lisp root:root 0o644 14.3 KB
/usr/share/acl2-7.2dfsg/books/tools/rewrite-with-equality.lisp text/x-lisp root:root 0o644 11.7 KB
/usr/share/acl2-7.2dfsg/books/tools/rulesets.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.2dfsg/books/tools/rulesets.lisp text/x-lisp root:root 0o644 13.9 KB
/usr/share/acl2-7.2dfsg/books/tools/safe-case.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-7.2dfsg/books/tools/save-obligs.acl2 text/plain root:root 0o644 46 bytes
/usr/share/acl2-7.2dfsg/books/tools/save-obligs.lisp text/x-lisp root:root 0o644 8.0 KB
/usr/share/acl2-7.2dfsg/books/tools/saved-errors.lisp text/plain root:root 0o644 8.6 KB
/usr/share/acl2-7.2dfsg/books/tools/soft-paper-examples.lisp text/x-lisp root:root 0o644 10.5 KB
/usr/share/acl2-7.2dfsg/books/tools/soft.lisp text/plain root:root 0o644 66.2 KB
/usr/share/acl2-7.2dfsg/books/tools/stobj-frame.lisp text/x-lisp root:root 0o644 13.7 KB
/usr/share/acl2-7.2dfsg/books/tools/stobj-help.lisp text/x-lisp root:root 0o644 21.6 KB
/usr/share/acl2-7.2dfsg/books/tools/templates.lisp text/x-lisp root:root 0o644 17.1 KB
/usr/share/acl2-7.2dfsg/books/tools/theory-tools.lisp text/x-lisp root:root 0o644 962 bytes
/usr/share/acl2-7.2dfsg/books/tools/time-dollar-with-gc.acl2 text/plain root:root 0o644 119 bytes
/usr/share/acl2-7.2dfsg/books/tools/time-dollar-with-gc.lisp text/plain root:root 0o644 616 bytes
/usr/share/acl2-7.2dfsg/books/tools/trivial-ancestors-check.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-7.2dfsg/books/tools/types-misc.lisp text/x-lisp root:root 0o644 6.6 KB
/usr/share/acl2-7.2dfsg/books/tools/untranslate-for-exec-tests.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-7.2dfsg/books/tools/untranslate-for-exec.lisp text/x-lisp root:root 0o644 24.4 KB
/usr/share/acl2-7.2dfsg/books/tools/with-arith5-help.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-7.2dfsg/books/tools/with-quoted-forms.lisp text/x-lisp root:root 0o644 7.6 KB
/usr/share/acl2-7.2dfsg/books/tools/with-supporters-test-sub.lisp text/x-lisp root:root 0o644 669 bytes
/usr/share/acl2-7.2dfsg/books/tools/with-supporters-test-top.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-7.2dfsg/books/tools/with-supporters.acl2 text/plain root:root 0o644 52 bytes
/usr/share/acl2-7.2dfsg/books/tools/with-supporters.lisp text/x-lisp root:root 0o644 21.8 KB

APT Browse - Built by Thomas Orozco.