/usr/share/acl2-7.1/books/tools/ is in acl2-books-certs 7.1-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/acl2-7.1/books/tools/advise.cert
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/share/acl2-7.1/books/tools/bstar.cert
|
application/octet-stream | root:root | 0o644 | 839 bytes |
/usr/share/acl2-7.1/books/tools/case-splitting-rules.cert
|
application/octet-stream | root:root | 0o644 | 951 bytes |
/usr/share/acl2-7.1/books/tools/clone-stobj.cert
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/share/acl2-7.1/books/tools/cws.cert
|
application/octet-stream | root:root | 0o644 | 353 bytes |
/usr/share/acl2-7.1/books/tools/def-functional-instance.cert
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/share/acl2-7.1/books/tools/defevaluator-fast.cert
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/acl2-7.1/books/tools/define-keyed-function.cert
|
application/octet-stream | root:root | 0o644 | 407 bytes |
/usr/share/acl2-7.1/books/tools/defined-const.cert
|
application/octet-stream | root:root | 0o644 | 632 bytes |
/usr/share/acl2-7.1/books/tools/defmacfun.cert
|
application/octet-stream | root:root | 0o644 | 371 bytes |
/usr/share/acl2-7.1/books/tools/defsum.cert
|
application/octet-stream | root:root | 0o644 | 8.7 KB |
/usr/share/acl2-7.1/books/tools/deftuple.cert
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/acl2-7.1/books/tools/do-not.cert
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/share/acl2-7.1/books/tools/easy-simplify.cert
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/share/acl2-7.1/books/tools/fake-event.cert
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/share/acl2-7.1/books/tools/flag.cert
|
application/octet-stream | root:root | 0o644 | 19.2 KB |
/usr/share/acl2-7.1/books/tools/in-raw-mode.cert
|
application/octet-stream | root:root | 0o644 | 420 bytes |
/usr/share/acl2-7.1/books/tools/include-an-arithmetic-book.cert
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/share/acl2-7.1/books/tools/include-raw.cert
|
application/octet-stream | root:root | 0o644 | 5.7 KB |
/usr/share/acl2-7.1/books/tools/last-theory-change.cert
|
application/octet-stream | root:root | 0o644 | 878 bytes |
/usr/share/acl2-7.1/books/tools/lint.cert
|
application/octet-stream | root:root | 0o644 | 12.5 KB |
/usr/share/acl2-7.1/books/tools/match-tree.cert
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/share/acl2-7.1/books/tools/mv-nth.cert
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/share/acl2-7.1/books/tools/oracle-eval-real.cert
|
application/octet-stream | root:root | 0o644 | 440 bytes |
/usr/share/acl2-7.1/books/tools/oracle-eval.cert
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/share/acl2-7.1/books/tools/pattern-match.cert
|
application/octet-stream | root:root | 0o644 | 39.4 KB |
/usr/share/acl2-7.1/books/tools/plev-ccl.cert
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/share/acl2-7.1/books/tools/plev.cert
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/share/acl2-7.1/books/tools/remove-hyps.cert
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/share/acl2-7.1/books/tools/rewrite-with-equality.cert
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/share/acl2-7.1/books/tools/rulesets.cert
|
application/octet-stream | root:root | 0o644 | 12.1 KB |
/usr/share/acl2-7.1/books/tools/safe-case.cert
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/share/acl2-7.1/books/tools/save-obligs.cert
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/share/acl2-7.1/books/tools/saved-errors.cert
|
application/octet-stream | root:root | 0o644 | 379 bytes |
/usr/share/acl2-7.1/books/tools/stobj-frame.cert
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/share/acl2-7.1/books/tools/stobj-help.cert
|
application/octet-stream | root:root | 0o644 | 8.3 KB |
/usr/share/acl2-7.1/books/tools/templates.cert
|
application/octet-stream | root:root | 0o644 | 13.4 KB |
/usr/share/acl2-7.1/books/tools/theory-tools.cert
|
application/octet-stream | root:root | 0o644 | 380 bytes |
/usr/share/acl2-7.1/books/tools/time-dollar-with-gc.cert
|
application/octet-stream | root:root | 0o644 | 450 bytes |
/usr/share/acl2-7.1/books/tools/trivial-ancestors-check.cert
|
application/octet-stream | root:root | 0o644 | 413 bytes |
/usr/share/acl2-7.1/books/tools/types-misc.cert
|
application/octet-stream | root:root | 0o644 | 453 bytes |
/usr/share/acl2-7.1/books/tools/with-arith5-help.cert
|
application/octet-stream | root:root | 0o644 | 930 bytes |
/usr/share/acl2-7.1/books/tools/with-quoted-forms.cert
|
application/octet-stream | root:root | 0o644 | 876 bytes |
/usr/share/acl2-7.1/books/tools/with-supporters-test-sub.cert
|
application/octet-stream | root:root | 0o644 | 416 bytes |
/usr/share/acl2-7.1/books/tools/with-supporters-test-top.cert
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/share/acl2-7.1/books/tools/with-supporters.cert
|
application/octet-stream | root:root | 0o644 | 13.4 KB |