acl2-books 7.1-1 / usr / share / acl2-7.1 / books / clause-processors

This file is indexed.

/usr/share/acl2-7.1/books/clause-processors/ is in acl2-books 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.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/basic-examples.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/bv-add-common.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/bv-add-tests.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/bv-add.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/constant-prop.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/decomp-hint.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/deps-SULFA.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/doc.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/equality.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/ev-find-rules.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/ev-theoremp.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/find-matching.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/find-subterms.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/generalize.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/induction.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/instantiate.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/join-thms.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/just-expand.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/let-abstraction.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/magic-ev.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/meta-extract-simple-test.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/meta-extract-user.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/multi-env-trick.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/null-fail-hints.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/nvalues-thms.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/replace-defined-consts.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/replace-equalities.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/replace-impl.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/stobj-preservation.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/sublis-var-meaning.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/term-patterns.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/unify-subst.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/use-by-hint.o root:root 0o777
/usr/share/acl2-7.1/books/clause-processors/witness-cp.o root:root 0o777

APT Browse - Built by Thomas Orozco.