/usr/share/acl2-7.1/books/clause-processors/ 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/clause-processors/autohide.cert
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/share/acl2-7.1/books/clause-processors/basic-examples.cert
|
application/octet-stream | root:root | 0o644 | 22.8 KB |
/usr/share/acl2-7.1/books/clause-processors/bv-add-common.cert
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/share/acl2-7.1/books/clause-processors/bv-add-tests.cert
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/share/acl2-7.1/books/clause-processors/bv-add.cert
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/share/acl2-7.1/books/clause-processors/constant-prop.cert
|
application/octet-stream | root:root | 0o644 | 11.4 KB |
/usr/share/acl2-7.1/books/clause-processors/decomp-hint.cert
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/share/acl2-7.1/books/clause-processors/deps-SULFA.cert
|
application/octet-stream | root:root | 0o644 | 661 bytes |
/usr/share/acl2-7.1/books/clause-processors/doc.cert
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/share/acl2-7.1/books/clause-processors/equality.cert
|
application/octet-stream | root:root | 0o644 | 6.0 KB |
/usr/share/acl2-7.1/books/clause-processors/ev-find-rules.cert
|
application/octet-stream | root:root | 0o644 | 395 bytes |
/usr/share/acl2-7.1/books/clause-processors/ev-theoremp.cert
|
application/octet-stream | root:root | 0o644 | 816 bytes |
/usr/share/acl2-7.1/books/clause-processors/find-matching.cert
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/share/acl2-7.1/books/clause-processors/find-subterms.cert
|
application/octet-stream | root:root | 0o644 | 395 bytes |
/usr/share/acl2-7.1/books/clause-processors/generalize.cert
|
application/octet-stream | root:root | 0o644 | 53.2 KB |
/usr/share/acl2-7.1/books/clause-processors/induction.cert
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/share/acl2-7.1/books/clause-processors/instantiate.cert
|
application/octet-stream | root:root | 0o644 | 7.3 KB |
/usr/share/acl2-7.1/books/clause-processors/join-thms.cert
|
application/octet-stream | root:root | 0o644 | 476 bytes |
/usr/share/acl2-7.1/books/clause-processors/just-expand.cert
|
application/octet-stream | root:root | 0o644 | 27.4 KB |
/usr/share/acl2-7.1/books/clause-processors/let-abstraction.cert
|
application/octet-stream | root:root | 0o644 | 21.7 KB |
/usr/share/acl2-7.1/books/clause-processors/magic-ev.cert
|
application/octet-stream | root:root | 0o644 | 861 bytes |
/usr/share/acl2-7.1/books/clause-processors/meta-extract-simple-test.cert
|
application/octet-stream | root:root | 0o644 | 14.0 KB |
/usr/share/acl2-7.1/books/clause-processors/meta-extract-user.cert
|
application/octet-stream | root:root | 0o644 | 20.6 KB |
/usr/share/acl2-7.1/books/clause-processors/multi-env-trick.cert
|
application/octet-stream | root:root | 0o644 | 8.9 KB |
/usr/share/acl2-7.1/books/clause-processors/null-fail-hints.cert
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/share/acl2-7.1/books/clause-processors/nvalues-thms.cert
|
application/octet-stream | root:root | 0o644 | 15.6 KB |
/usr/share/acl2-7.1/books/clause-processors/replace-defined-consts.cert
|
application/octet-stream | root:root | 0o644 | 17.0 KB |
/usr/share/acl2-7.1/books/clause-processors/replace-equalities.cert
|
application/octet-stream | root:root | 0o644 | 26.8 KB |
/usr/share/acl2-7.1/books/clause-processors/replace-impl.cert
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/share/acl2-7.1/books/clause-processors/stobj-preservation.cert
|
application/octet-stream | root:root | 0o644 | 11.4 KB |
/usr/share/acl2-7.1/books/clause-processors/sublis-var-meaning.cert
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/share/acl2-7.1/books/clause-processors/term-patterns.cert
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/share/acl2-7.1/books/clause-processors/unify-subst.cert
|
application/octet-stream | root:root | 0o644 | 40.7 KB |
/usr/share/acl2-7.1/books/clause-processors/use-by-hint.cert
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/share/acl2-7.1/books/clause-processors/witness-cp.cert
|
application/octet-stream | root:root | 0o644 | 208.1 KB |