acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / clause-processors

This file is indexed.

/usr/share/acl2-6.3/books/clause-processors/ 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/clause-processors/autohide.cert text/plain root:root 0o644 5.9 KB
/usr/share/acl2-6.3/books/clause-processors/basic-examples.cert text/plain root:root 0o644 27.8 KB
/usr/share/acl2-6.3/books/clause-processors/bv-add-common.cert text/plain root:root 0o644 4.9 KB
/usr/share/acl2-6.3/books/clause-processors/bv-add-tests.cert text/plain root:root 0o644 5.5 KB
/usr/share/acl2-6.3/books/clause-processors/bv-add.cert text/plain root:root 0o644 7.8 KB
/usr/share/acl2-6.3/books/clause-processors/constant-prop.cert text/plain root:root 0o644 16.3 KB
/usr/share/acl2-6.3/books/clause-processors/decomp-hint.cert text/plain root:root 0o644 6.3 KB
/usr/share/acl2-6.3/books/clause-processors/deps-SULFA.cert text/plain root:root 0o644 242 bytes
/usr/share/acl2-6.3/books/clause-processors/equality.cert text/plain root:root 0o644 8.3 KB
/usr/share/acl2-6.3/books/clause-processors/ev-find-rules.cert text/plain root:root 0o644 252 bytes
/usr/share/acl2-6.3/books/clause-processors/ev-theoremp.cert text/plain root:root 0o644 701 bytes
/usr/share/acl2-6.3/books/clause-processors/find-matching.cert text/plain root:root 0o644 4.9 KB
/usr/share/acl2-6.3/books/clause-processors/find-subterms.cert text/plain root:root 0o644 252 bytes
/usr/share/acl2-6.3/books/clause-processors/generalize.cert text/plain root:root 0o644 18.9 KB
/usr/share/acl2-6.3/books/clause-processors/instantiate.cert text/plain root:root 0o644 5.2 KB
/usr/share/acl2-6.3/books/clause-processors/join-thms.cert text/plain root:root 0o644 393 bytes
/usr/share/acl2-6.3/books/clause-processors/just-expand.cert text/plain root:root 0o644 47.4 KB
/usr/share/acl2-6.3/books/clause-processors/let-abstraction.cert text/plain root:root 0o644 28.2 KB
/usr/share/acl2-6.3/books/clause-processors/magic-ev.cert text/plain root:root 0o644 475 bytes
/usr/share/acl2-6.3/books/clause-processors/meta-extract-simple-test.cert text/plain root:root 0o644 16.5 KB
/usr/share/acl2-6.3/books/clause-processors/meta-extract-user.cert text/plain root:root 0o644 26.7 KB
/usr/share/acl2-6.3/books/clause-processors/multi-env-trick.cert text/plain root:root 0o644 7.2 KB
/usr/share/acl2-6.3/books/clause-processors/null-fail-hints.cert text/plain root:root 0o644 6.2 KB
/usr/share/acl2-6.3/books/clause-processors/nvalues-thms.cert text/plain root:root 0o644 13.6 KB
/usr/share/acl2-6.3/books/clause-processors/replace-defined-consts.cert text/plain root:root 0o644 17.2 KB
/usr/share/acl2-6.3/books/clause-processors/replace-equalities.cert text/plain root:root 0o644 44.0 KB
/usr/share/acl2-6.3/books/clause-processors/replace-impl.cert text/plain root:root 0o644 3.5 KB
/usr/share/acl2-6.3/books/clause-processors/stobj-preservation.cert text/plain root:root 0o644 19.2 KB
/usr/share/acl2-6.3/books/clause-processors/sublis-var-meaning.cert text/plain root:root 0o644 3.8 KB
/usr/share/acl2-6.3/books/clause-processors/term-patterns.cert text/plain root:root 0o644 4.9 KB
/usr/share/acl2-6.3/books/clause-processors/unify-subst.cert text/plain root:root 0o644 14.0 KB
/usr/share/acl2-6.3/books/clause-processors/use-by-hint.cert text/plain root:root 0o644 5.9 KB
/usr/share/acl2-6.3/books/clause-processors/witness-cp.cert text/plain root:root 0o644 29.0 KB

APT Browse - Built by Thomas Orozco.