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

This file is indexed.

/usr/share/acl2-8.0dfsg/books/tools/ 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/tools/advise.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/tools/advise.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/tools/book-conflicts/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/tools/book-conflicts/bookdata-types.lisp text/x-lisp root:root 0o644 7.8 KB
/usr/share/acl2-8.0dfsg/books/tools/book-conflicts/cert.acl2 text/plain root:root 0o644 80 bytes
/usr/share/acl2-8.0dfsg/books/tools/book-conflicts/conflicts.lisp text/x-lisp root:root 0o644 47.3 KB
/usr/share/acl2-8.0dfsg/books/tools/bstar.lisp text/plain root:root 0o644 154 bytes
/usr/share/acl2-8.0dfsg/books/tools/case-splitting-rules.lisp text/x-lisp root:root 0o644 5.4 KB
/usr/share/acl2-8.0dfsg/books/tools/clone-stobj.lisp text/plain root:root 0o644 94 bytes
/usr/share/acl2-8.0dfsg/books/tools/cws.lisp text/x-lisp root:root 0o644 526 bytes
/usr/share/acl2-8.0dfsg/books/tools/dead-events.lisp text/plain root:root 0o644 19.0 KB
/usr/share/acl2-8.0dfsg/books/tools/def-functional-instance.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-8.0dfsg/books/tools/defevaluator-fast.lisp text/plain root:root 0o644 29.4 KB
/usr/share/acl2-8.0dfsg/books/tools/define-keyed-function.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-8.0dfsg/books/tools/defined-const.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-8.0dfsg/books/tools/defmacfun.lisp text/x-lisp root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/tools/defsum.lisp text/x-lisp root:root 0o644 47.9 KB
/usr/share/acl2-8.0dfsg/books/tools/defthmg.lisp text/x-lisp root:root 0o644 12.6 KB
/usr/share/acl2-8.0dfsg/books/tools/deftuple.lisp text/x-lisp root:root 0o644 25.2 KB
/usr/share/acl2-8.0dfsg/books/tools/do-not.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/tools/easy-simplify.lisp text/x-lisp root:root 0o644 7.0 KB
/usr/share/acl2-8.0dfsg/books/tools/equality-with-hons-copy.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/tools/er-soft-logic.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-8.0dfsg/books/tools/fake-event.lisp text/x-lisp root:root 0o644 5.1 KB
/usr/share/acl2-8.0dfsg/books/tools/flag-tests.lisp text/plain root:root 0o644 11.1 KB
/usr/share/acl2-8.0dfsg/books/tools/flag.acl2 text/plain root:root 0o644 63 bytes
/usr/share/acl2-8.0dfsg/books/tools/flag.lisp text/plain root:root 0o644 51.4 KB
/usr/share/acl2-8.0dfsg/books/tools/in-raw-mode.acl2 text/plain root:root 0o644 94 bytes
/usr/share/acl2-8.0dfsg/books/tools/in-raw-mode.lisp text/plain root:root 0o644 215 bytes
/usr/share/acl2-8.0dfsg/books/tools/include-an-arithmetic-book.lisp text/html root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/tools/include-raw.acl2 text/plain root:root 0o644 75 bytes
/usr/share/acl2-8.0dfsg/books/tools/include-raw.lisp text/plain root:root 0o644 13.3 KB
/usr/share/acl2-8.0dfsg/books/tools/last-theory-change.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-8.0dfsg/books/tools/lint.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/tools/lint.lisp text/x-lisp root:root 0o644 6.4 KB
/usr/share/acl2-8.0dfsg/books/tools/match-tree.lisp text/plain root:root 0o644 27.2 KB
/usr/share/acl2-8.0dfsg/books/tools/memoize-prover-fns.lisp text/x-lisp root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/tools/mv-nth.lisp text/plain root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/tools/oracle-eval-real.acl2 text/plain root:root 0o644 80 bytes
/usr/share/acl2-8.0dfsg/books/tools/oracle-eval-real.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-8.0dfsg/books/tools/oracle-eval.lisp text/plain root:root 0o644 5.7 KB
/usr/share/acl2-8.0dfsg/books/tools/oracle-time-tests.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/tools/oracle-time-tests.lisp text/x-lisp root:root 0o644 4.4 KB
/usr/share/acl2-8.0dfsg/books/tools/oracle-time.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/tools/oracle-time.lisp text/plain root:root 0o644 7.0 KB
/usr/share/acl2-8.0dfsg/books/tools/oracle-timelimit-tests.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/tools/oracle-timelimit-tests.lisp text/x-lisp root:root 0o644 13.6 KB
/usr/share/acl2-8.0dfsg/books/tools/oracle-timelimit.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/tools/oracle-timelimit.lisp text/plain root:root 0o644 11.0 KB
/usr/share/acl2-8.0dfsg/books/tools/pattern-match.lisp text/plain root:root 0o644 36.2 KB
/usr/share/acl2-8.0dfsg/books/tools/plev-ccl.acl2 text/plain root:root 0o644 91 bytes
/usr/share/acl2-8.0dfsg/books/tools/plev-ccl.lisp text/x-lisp root:root 0o644 348 bytes
/usr/share/acl2-8.0dfsg/books/tools/plev.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/tools/prettygoals/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/tools/prettygoals/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/tools/prettygoals/portcullis.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/tools/prettygoals/portcullis.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/tools/prettygoals/top.lisp text/plain root:root 0o644 16.1 KB
/usr/share/acl2-8.0dfsg/books/tools/removable-runes.lisp text/x-lisp root:root 0o644 22.3 KB
/usr/share/acl2-8.0dfsg/books/tools/remove-hyps.lisp text/plain root:root 0o644 19.0 KB
/usr/share/acl2-8.0dfsg/books/tools/rewrite-with-equality.lisp text/x-lisp root:root 0o644 11.7 KB
/usr/share/acl2-8.0dfsg/books/tools/rulesets.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/tools/rulesets.lisp text/x-lisp root:root 0o644 17.0 KB
/usr/share/acl2-8.0dfsg/books/tools/run-script.lisp text/x-lisp root:root 0o644 5.4 KB
/usr/share/acl2-8.0dfsg/books/tools/safe-case.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/tools/save-obligs.acl2 text/plain root:root 0o644 46 bytes
/usr/share/acl2-8.0dfsg/books/tools/save-obligs.lisp text/x-lisp root:root 0o644 8.0 KB
/usr/share/acl2-8.0dfsg/books/tools/saved-errors.lisp text/plain root:root 0o644 8.6 KB
/usr/share/acl2-8.0dfsg/books/tools/soft-paper-examples.lisp text/plain root:root 0o644 177 bytes
/usr/share/acl2-8.0dfsg/books/tools/soft.lisp text/plain root:root 0o644 157 bytes
/usr/share/acl2-8.0dfsg/books/tools/stobj-frame.lisp text/x-lisp root:root 0o644 13.7 KB
/usr/share/acl2-8.0dfsg/books/tools/stobj-help.lisp text/x-lisp root:root 0o644 21.6 KB
/usr/share/acl2-8.0dfsg/books/tools/symlet.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-8.0dfsg/books/tools/templates.lisp text/x-lisp root:root 0o644 17.2 KB
/usr/share/acl2-8.0dfsg/books/tools/theory-tools.lisp text/x-lisp root:root 0o644 962 bytes
/usr/share/acl2-8.0dfsg/books/tools/time-dollar-with-gc.acl2 text/plain root:root 0o644 119 bytes
/usr/share/acl2-8.0dfsg/books/tools/time-dollar-with-gc.lisp text/plain root:root 0o644 616 bytes
/usr/share/acl2-8.0dfsg/books/tools/trivial-ancestors-check.lisp text/x-lisp root:root 0o644 6.9 KB
/usr/share/acl2-8.0dfsg/books/tools/types-misc.lisp text/x-lisp root:root 0o644 6.6 KB
/usr/share/acl2-8.0dfsg/books/tools/untranslate-for-exec-tests.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/tools/untranslate-for-exec.lisp text/x-lisp root:root 0o644 24.4 KB
/usr/share/acl2-8.0dfsg/books/tools/with-arith-help.lisp text/x-lisp root:root 0o644 995 bytes
/usr/share/acl2-8.0dfsg/books/tools/with-arith1-help.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/tools/with-arith5-help.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/tools/with-quoted-forms.lisp text/x-lisp root:root 0o644 7.6 KB
/usr/share/acl2-8.0dfsg/books/tools/with-supporters-test-sub.lisp text/x-lisp root:root 0o644 669 bytes
/usr/share/acl2-8.0dfsg/books/tools/with-supporters-test-top.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/tools/with-supporters.acl2 text/plain root:root 0o644 52 bytes
/usr/share/acl2-8.0dfsg/books/tools/with-supporters.lisp text/x-lisp root:root 0o644 21.8 KB

APT Browse - Built by Thomas Orozco.