acl2-books-certs 6.3-5 / usr / share / acl2-6.3 / books / make-event

This file is indexed.

/usr/share/acl2-6.3/books/make-event/ 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/make-event/acl2x-help-test.cert text/plain root:root 0o644 742 bytes
/usr/share/acl2-6.3/books/make-event/acl2x-help.cert text/plain root:root 0o644 595 bytes
/usr/share/acl2-6.3/books/make-event/assert-check-include-1.cert text/plain root:root 0o644 763 bytes
/usr/share/acl2-6.3/books/make-event/assert-check-include.cert text/plain root:root 0o644 677 bytes
/usr/share/acl2-6.3/books/make-event/assert-check.cert text/plain root:root 0o644 4.8 KB
/usr/share/acl2-6.3/books/make-event/assert-include.cert text/plain root:root 0o644 504 bytes
/usr/share/acl2-6.3/books/make-event/basic-check.cert text/plain root:root 0o644 646 bytes
/usr/share/acl2-6.3/books/make-event/basic-pkg-check.cert text/plain root:root 0o644 902 bytes
/usr/share/acl2-6.3/books/make-event/basic-pkg.cert text/plain root:root 0o644 653 bytes
/usr/share/acl2-6.3/books/make-event/basic.cert text/plain root:root 0o644 1.0 KB
/usr/share/acl2-6.3/books/make-event/defconst-fast-examples.cert text/plain root:root 0o644 937 bytes
/usr/share/acl2-6.3/books/make-event/defconst-fast.cert text/plain root:root 0o644 245 bytes
/usr/share/acl2-6.3/books/make-event/defrefine.cert text/plain root:root 0o644 9.1 KB
/usr/share/acl2-6.3/books/make-event/defrule.cert text/plain root:root 0o644 465 bytes
/usr/share/acl2-6.3/books/make-event/defspec.cert text/plain root:root 0o644 1.8 KB
/usr/share/acl2-6.3/books/make-event/dotimes.cert text/plain root:root 0o644 554 bytes
/usr/share/acl2-6.3/books/make-event/double-cert-test-1.cert text/plain root:root 0o644 471 bytes
/usr/share/acl2-6.3/books/make-event/double-cert-test.cert text/plain root:root 0o644 416 bytes
/usr/share/acl2-6.3/books/make-event/embeddable-event-forms.cert text/plain root:root 0o644 272 bytes
/usr/share/acl2-6.3/books/make-event/eval-check-tests.cert text/plain root:root 0o644 19.0 KB
/usr/share/acl2-6.3/books/make-event/eval-check.cert text/plain root:root 0o644 236 bytes
/usr/share/acl2-6.3/books/make-event/eval-tests.cert text/plain root:root 0o644 2.2 KB
/usr/share/acl2-6.3/books/make-event/gen-defthm-check.cert text/plain root:root 0o644 2.1 KB
/usr/share/acl2-6.3/books/make-event/gen-defthm.cert text/plain root:root 0o644 1.7 KB
/usr/share/acl2-6.3/books/make-event/gen-defun-check.cert text/plain root:root 0o644 1.4 KB
/usr/share/acl2-6.3/books/make-event/gen-defun.cert text/plain root:root 0o644 609 bytes
/usr/share/acl2-6.3/books/make-event/inline-book.cert text/plain root:root 0o644 239 bytes
/usr/share/acl2-6.3/books/make-event/local-elided-include.cert text/plain root:root 0o644 1.0 KB
/usr/share/acl2-6.3/books/make-event/local-elided.cert text/plain root:root 0o644 3.5 KB
/usr/share/acl2-6.3/books/make-event/local-requires-skip-check-include.cert text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/make-event/local-requires-skip-check.cert text/plain root:root 0o644 1.4 KB
/usr/share/acl2-6.3/books/make-event/logical-tangent.cert text/plain root:root 0o644 251 bytes
/usr/share/acl2-6.3/books/make-event/macros-include.cert text/plain root:root 0o644 967 bytes
/usr/share/acl2-6.3/books/make-event/macros-skip-proofs-include.cert text/plain root:root 0o644 693 bytes
/usr/share/acl2-6.3/books/make-event/macros-skip-proofs.cert text/plain root:root 0o644 2.1 KB
/usr/share/acl2-6.3/books/make-event/macros.cert text/plain root:root 0o644 2.3 KB
/usr/share/acl2-6.3/books/make-event/make-event-keywords-or-exp-check.cert text/plain root:root 0o644 4.0 KB
/usr/share/acl2-6.3/books/make-event/make-event-keywords-or-exp.cert text/plain root:root 0o644 3.5 KB
/usr/share/acl2-6.3/books/make-event/make-redundant.cert text/plain root:root 0o644 249 bytes
/usr/share/acl2-6.3/books/make-event/nested-check.cert text/plain root:root 0o644 4.0 KB
/usr/share/acl2-6.3/books/make-event/nested.cert text/plain root:root 0o644 1.5 KB
/usr/share/acl2-6.3/books/make-event/portcullis-expansion-include.cert text/plain root:root 0o644 1.6 KB
/usr/share/acl2-6.3/books/make-event/portcullis-expansion.cert text/plain root:root 0o644 4.6 KB
/usr/share/acl2-6.3/books/make-event/proof-by-arith.cert text/plain root:root 0o644 25.4 KB
/usr/share/acl2-6.3/books/make-event/read-from-file.cert text/plain root:root 0o644 2.2 KB
/usr/share/acl2-6.3/books/make-event/require-book.cert text/plain root:root 0o644 241 bytes
/usr/share/acl2-6.3/books/make-event/stobj-test.cert text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/make-event/test-case-check.cert text/plain root:root 0o644 3.9 KB
/usr/share/acl2-6.3/books/make-event/test-case.cert text/plain root:root 0o644 883 bytes

APT Browse - Built by Thomas Orozco.