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

This file is indexed.

/usr/share/acl2-6.3/books/tools/ 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/tools/advise.acl2 text/plain root:root 0o644 1.0 KB
/usr/share/acl2-6.3/books/tools/advise.lisp text/x-lisp root:root 0o644 2.1 KB
/usr/share/acl2-6.3/books/tools/bstar.lisp text/plain root:root 0o644 42.5 KB
/usr/share/acl2-6.3/books/tools/case-splitting-rules.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-6.3/books/tools/clone-stobj.lisp text/x-lisp root:root 0o644 10.5 KB
/usr/share/acl2-6.3/books/tools/cws.lisp text/x-lisp root:root 0o644 537 bytes
/usr/share/acl2-6.3/books/tools/def-functional-instance.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-6.3/books/tools/defconsts.lisp text/plain root:root 0o644 14.9 KB
/usr/share/acl2-6.3/books/tools/defevaluator-fast.lisp text/x-lisp root:root 0o644 27.7 KB
/usr/share/acl2-6.3/books/tools/define-keyed-function.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-6.3/books/tools/defined-const.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-6.3/books/tools/defmacfun.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-6.3/books/tools/defredundant.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-6.3/books/tools/defsum.lisp text/x-lisp root:root 0o644 47.6 KB
/usr/share/acl2-6.3/books/tools/deftuple.lisp text/x-lisp root:root 0o644 25.2 KB
/usr/share/acl2-6.3/books/tools/do-not.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-6.3/books/tools/easy-simplify.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-6.3/books/tools/fake-event.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-6.3/books/tools/flag.acl2 text/plain root:root 0o644 49 bytes
/usr/share/acl2-6.3/books/tools/flag.lisp text/plain root:root 0o644 40.4 KB
/usr/share/acl2-6.3/books/tools/in-raw-mode.acl2 text/plain root:root 0o644 94 bytes
/usr/share/acl2-6.3/books/tools/in-raw-mode.lisp text/plain root:root 0o644 216 bytes
/usr/share/acl2-6.3/books/tools/include-raw.lisp text/plain root:root 0o644 12.4 KB
/usr/share/acl2-6.3/books/tools/lint.acl2 text/plain root:root 0o644 992 bytes
/usr/share/acl2-6.3/books/tools/lint.lisp text/x-lisp root:root 0o644 8.0 KB
/usr/share/acl2-6.3/books/tools/match-tree.lisp text/plain root:root 0o644 26.9 KB
/usr/share/acl2-6.3/books/tools/mv-nth.lisp text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/tools/oracle-eval-real.acl2 text/plain root:root 0o644 80 bytes
/usr/share/acl2-6.3/books/tools/oracle-eval-real.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-6.3/books/tools/oracle-eval.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-6.3/books/tools/pack.lisp text/x-lisp root:root 0o644 1016 bytes
/usr/share/acl2-6.3/books/tools/pattern-match.lisp text/x-lisp root:root 0o644 35.5 KB
/usr/share/acl2-6.3/books/tools/plev-ccl.acl2 text/plain root:root 0o644 91 bytes
/usr/share/acl2-6.3/books/tools/plev-ccl.lisp text/x-lisp root:root 0o644 281 bytes
/usr/share/acl2-6.3/books/tools/plev.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-6.3/books/tools/rulesets.lisp text/x-lisp root:root 0o644 13.2 KB
/usr/share/acl2-6.3/books/tools/safe-case.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-6.3/books/tools/saved-errors.lisp text/plain root:root 0o644 8.6 KB
/usr/share/acl2-6.3/books/tools/stobj-frame.lisp text/x-lisp root:root 0o644 13.0 KB
/usr/share/acl2-6.3/books/tools/stobj-help.lisp text/x-lisp root:root 0o644 21.6 KB
/usr/share/acl2-6.3/books/tools/templates.lisp text/x-lisp root:root 0o644 12.4 KB
/usr/share/acl2-6.3/books/tools/theory-tools.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/tools/time-dollar-with-gc.acl2 text/plain root:root 0o644 119 bytes
/usr/share/acl2-6.3/books/tools/time-dollar-with-gc.lisp text/plain root:root 0o644 617 bytes
/usr/share/acl2-6.3/books/tools/trivial-ancestors-check.lisp text/x-lisp root:root 0o644 4.5 KB
/usr/share/acl2-6.3/books/tools/types-misc.lisp text/x-lisp root:root 0o644 6.6 KB
/usr/share/acl2-6.3/books/tools/with-arith5-help.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-6.3/books/tools/with-quoted-forms.lisp text/x-lisp root:root 0o644 7.6 KB

APT Browse - Built by Thomas Orozco.