acl2-books-certs 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-certs 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.cert text/plain root:root 0o644 3.6 KB
/usr/share/acl2-6.3/books/tools/bstar.cert text/plain root:root 0o644 5.1 KB
/usr/share/acl2-6.3/books/tools/case-splitting-rules.cert text/plain root:root 0o644 492 bytes
/usr/share/acl2-6.3/books/tools/clone-stobj.cert text/plain root:root 0o644 5.1 KB
/usr/share/acl2-6.3/books/tools/cws.cert text/plain root:root 0o644 210 bytes
/usr/share/acl2-6.3/books/tools/def-functional-instance.cert text/plain root:root 0o644 501 bytes
/usr/share/acl2-6.3/books/tools/defconsts.cert text/plain root:root 0o644 2.4 KB
/usr/share/acl2-6.3/books/tools/defevaluator-fast.cert text/plain root:root 0o644 252 bytes
/usr/share/acl2-6.3/books/tools/define-keyed-function.cert text/plain root:root 0o644 265 bytes
/usr/share/acl2-6.3/books/tools/defined-const.cert text/plain root:root 0o644 537 bytes
/usr/share/acl2-6.3/books/tools/defmacfun.cert text/plain root:root 0o644 227 bytes
/usr/share/acl2-6.3/books/tools/defredundant.cert text/plain root:root 0o644 466 bytes
/usr/share/acl2-6.3/books/tools/defsum.cert text/plain root:root 0o644 630 bytes
/usr/share/acl2-6.3/books/tools/deftuple.cert text/plain root:root 0o644 726 bytes
/usr/share/acl2-6.3/books/tools/do-not.cert text/plain root:root 0o644 449 bytes
/usr/share/acl2-6.3/books/tools/easy-simplify.cert text/plain root:root 0o644 472 bytes
/usr/share/acl2-6.3/books/tools/fake-event.cert text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/tools/flag.cert text/plain root:root 0o644 24.9 KB
/usr/share/acl2-6.3/books/tools/in-raw-mode.cert text/plain root:root 0o644 300 bytes
/usr/share/acl2-6.3/books/tools/include-raw.cert text/plain root:root 0o644 10.4 KB
/usr/share/acl2-6.3/books/tools/lint.cert text/plain root:root 0o644 16.6 KB
/usr/share/acl2-6.3/books/tools/match-tree.cert text/plain root:root 0o644 461 bytes
/usr/share/acl2-6.3/books/tools/mv-nth.cert text/plain root:root 0o644 3.3 KB
/usr/share/acl2-6.3/books/tools/oracle-eval-real.cert text/plain root:root 0o644 321 bytes
/usr/share/acl2-6.3/books/tools/oracle-eval.cert text/plain root:root 0o644 235 bytes
/usr/share/acl2-6.3/books/tools/pack.cert text/plain root:root 0o644 213 bytes
/usr/share/acl2-6.3/books/tools/pattern-match.cert text/plain root:root 0o644 241 bytes
/usr/share/acl2-6.3/books/tools/plev-ccl.cert text/plain root:root 0o644 3.7 KB
/usr/share/acl2-6.3/books/tools/plev.cert text/plain root:root 0o644 213 bytes
/usr/share/acl2-6.3/books/tools/rulesets.cert text/plain root:root 0o644 24.1 KB
/usr/share/acl2-6.3/books/tools/safe-case.cert text/plain root:root 0o644 228 bytes
/usr/share/acl2-6.3/books/tools/saved-errors.cert text/plain root:root 0o644 236 bytes
/usr/share/acl2-6.3/books/tools/stobj-frame.cert text/plain root:root 0o644 3.3 KB
/usr/share/acl2-6.3/books/tools/stobj-help.cert text/plain root:root 0o644 10.5 KB
/usr/share/acl2-6.3/books/tools/templates.cert text/x-lisp root:root 0o644 10.8 KB
/usr/share/acl2-6.3/books/tools/theory-tools.cert text/plain root:root 0o644 238 bytes
/usr/share/acl2-6.3/books/tools/time-dollar-with-gc.cert text/plain root:root 0o644 330 bytes
/usr/share/acl2-6.3/books/tools/trivial-ancestors-check.cert text/plain root:root 0o644 271 bytes
/usr/share/acl2-6.3/books/tools/types-misc.cert text/plain root:root 0o644 369 bytes
/usr/share/acl2-6.3/books/tools/with-arith5-help.cert text/plain root:root 0o644 859 bytes
/usr/share/acl2-6.3/books/tools/with-quoted-forms.cert text/plain root:root 0o644 483 bytes

APT Browse - Built by Thomas Orozco.