acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / system

This file is indexed.

/usr/share/acl2-8.0dfsg/books/system/ is in acl2-books-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/system/acl2-system-exports.acl2 text/plain root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/system/acl2-system-exports.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/system/all-ffn-symbs-logic.lisp text/x-lisp root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/system/apply/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/apply/apply-constraints.acl2 text/plain root:root 0o644 28 bytes
/usr/share/acl2-8.0dfsg/books/system/apply/apply-constraints.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/system/apply/apply-prim.lisp text/plain root:root 0o644 12.1 KB
/usr/share/acl2-8.0dfsg/books/system/apply/apply.acl2 text/plain root:root 0o644 35 bytes
/usr/share/acl2-8.0dfsg/books/system/apply/apply.lisp text/x-lisp root:root 0o644 23.1 KB
/usr/share/acl2-8.0dfsg/books/system/bind-macro-args.lisp text/x-lisp root:root 0o644 11.8 KB
/usr/share/acl2-8.0dfsg/books/system/cantor-pairing-bijective.lisp text/x-lisp root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/system/case-match.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/system/check-system-guards.acl2 text/plain root:root 0o644 48 bytes
/usr/share/acl2-8.0dfsg/books/system/check-system-guards.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/system/compare-out-files.lisp text/plain root:root 0o644 76.0 KB
/usr/share/acl2-8.0dfsg/books/system/convert-normalized-term-to-pairs.lisp text/x-lisp root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/system/dead-source-code.lisp text/x-lisp root:root 0o644 12.0 KB
/usr/share/acl2-8.0dfsg/books/system/deps-pcert.lisp text/plain root:root 0o644 318 bytes
/usr/share/acl2-8.0dfsg/books/system/doc/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/doc/acl2-doc-wrap.lisp text/html root:root 0o644 5.1 KB
/usr/share/acl2-8.0dfsg/books/system/doc/acl2-doc.lisp text/x-lisp root:root 0o644 5.0 MB
/usr/share/acl2-8.0dfsg/books/system/doc/acl2-manual.lisp text/x-lisp root:root 0o644 974 bytes
/usr/share/acl2-8.0dfsg/books/system/doc/cert.acl2 text/plain root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/system/doc/convert-legacy-doc/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/doc/convert-legacy-doc/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/system/doc/convert-legacy-doc/export-acl2doc.lisp text/x-lisp root:root 0o644 24.7 KB
/usr/share/acl2-8.0dfsg/books/system/doc/convert-legacy-doc/import-acl2doc.lisp text/x-lisp root:root 0o644 7.8 KB
/usr/share/acl2-8.0dfsg/books/system/doc/convert-legacy-doc/write-acl2-xdoc.lisp text/html root:root 0o644 5.7 KB
/usr/share/acl2-8.0dfsg/books/system/doc/portcullis.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/system/doc/portcullis.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/system/doc/render-doc-base.lisp text/x-lisp root:root 0o644 10.8 KB
/usr/share/acl2-8.0dfsg/books/system/doc/render-doc.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-8.0dfsg/books/system/event-names.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-8.0dfsg/books/system/extend-pathname.lisp text/plain root:root 0o644 3.9 KB
/usr/share/acl2-8.0dfsg/books/system/f-put-global.lisp text/plain root:root 0o644 6.7 KB
/usr/share/acl2-8.0dfsg/books/system/fancy-string-reader-test.lisp text/plain root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/system/hl-addr-combine.lisp text/plain root:root 0o644 18.5 KB
/usr/share/acl2-8.0dfsg/books/system/hl-nat-combine-onto.acl2 text/plain root:root 0o644 121 bytes
/usr/share/acl2-8.0dfsg/books/system/hl-nat-combine-onto.lisp text/x-lisp root:root 0o644 5.4 KB
/usr/share/acl2-8.0dfsg/books/system/hons-check/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/hons-check/basic.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-8.0dfsg/books/system/hons-check/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/system/hons-check/hons-check.lisp text/x-lisp root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/system/hons-check/memoize-tests.lisp text/x-lisp root:root 0o644 11.3 KB
/usr/share/acl2-8.0dfsg/books/system/kestrel.lisp text/plain root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/system/legal-variablep.lisp text/plain root:root 0o644 3.4 KB
/usr/share/acl2-8.0dfsg/books/system/merge-sort-symbol-lt.lisp text/plain root:root 0o644 987 bytes
/usr/share/acl2-8.0dfsg/books/system/merge-sort-term-order.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-8.0dfsg/books/system/meta-extract.lisp text/plain root:root 0o644 387 bytes
/usr/share/acl2-8.0dfsg/books/system/obviously-equiv-terms.lisp text/plain root:root 0o644 44.6 KB
/usr/share/acl2-8.0dfsg/books/system/optimize-check-aux.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/system/optimize-check.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-8.0dfsg/books/system/origin.acl2 text/plain root:root 0o644 45 bytes
/usr/share/acl2-8.0dfsg/books/system/origin.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-8.0dfsg/books/system/parallel/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/parallel/cert.acl2 text/plain root:root 0o644 119 bytes
/usr/share/acl2-8.0dfsg/books/system/parallel/hint-tests.lisp text/x-lisp root:root 0o644 34.5 KB
/usr/share/acl2-8.0dfsg/books/system/parallel/proofs/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/parallel/proofs/ideal-speedup.lisp text/x-lisp root:root 0o644 11.9 KB
/usr/share/acl2-8.0dfsg/books/system/parallel/spec-mv-let.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-8.0dfsg/books/system/parallel/stress-tests.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/system/parallel/syntax-tests.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-8.0dfsg/books/system/pcert/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/pcert/acl2x-pcert-test-1.acl2 text/plain root:root 0o644 274 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/acl2x-pcert-test-1.lisp text/x-lisp root:root 0o644 291 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/acl2x-pcert-test-2-include.lisp text/plain root:root 0o644 1015 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/acl2x-pcert-test-2.acl2 text/plain root:root 0o644 109 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/acl2x-pcert-test-2.lisp text/x-lisp root:root 0o644 778 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/cert.acl2 text/plain root:root 0o644 240 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/elide-test.lisp text/plain root:root 0o644 815 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/mid.acl2 text/plain root:root 0o644 429 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/mid.lisp text/x-lisp root:root 0o644 257 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/pkg-test.acl2 text/plain root:root 0o644 291 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/pkg-test.lisp text/x-lisp root:root 0o644 207 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/sub.lisp text/x-lisp root:root 0o644 793 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/top.acl2 text/plain root:root 0o644 380 bytes
/usr/share/acl2-8.0dfsg/books/system/pcert/top.lisp text/x-lisp root:root 0o644 371 bytes
/usr/share/acl2-8.0dfsg/books/system/pseudo-good-worldp.lisp text/plain root:root 0o644 112.0 KB
/usr/share/acl2-8.0dfsg/books/system/pseudo-termp-lemmas.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/system/random.lisp text/plain root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/system/remove-guard-holders-lemmas.lisp text/plain root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/system/remove-guard-holders.lisp text/plain root:root 0o644 819 bytes
/usr/share/acl2-8.0dfsg/books/system/subcor-var.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/system/sublis-var.lisp text/x-lisp root:root 0o644 3.9 KB
/usr/share/acl2-8.0dfsg/books/system/subst-expr.lisp text/x-lisp root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/system/subst-var.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-8.0dfsg/books/system/termp.lisp text/x-lisp root:root 0o644 10.4 KB
/usr/share/acl2-8.0dfsg/books/system/tests/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/tests/cached-fn-inst.lisp text/x-lisp root:root 0o644 7.7 KB
/usr/share/acl2-8.0dfsg/books/system/tests/fmt-to-string.acl2 text/plain root:root 0o644 88 bytes
/usr/share/acl2-8.0dfsg/books/system/tests/fmt-to-string.lisp text/plain root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/system/tests/nested-stobj-formals.lisp text/x-lisp root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/system/tests/nested-stobj-tests.lisp text/x-lisp root:root 0o644 40.6 KB
/usr/share/acl2-8.0dfsg/books/system/tests/read-file-into-string.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/system/tests/state-p-in-guard.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/system/tests/tau-contradiction.lisp text/x-lisp root:root 0o644 691 bytes
/usr/share/acl2-8.0dfsg/books/system/too-many-ifs.acl2 text/plain root:root 0o644 252 bytes
/usr/share/acl2-8.0dfsg/books/system/too-many-ifs.lisp text/plain root:root 0o644 4.0 KB
/usr/share/acl2-8.0dfsg/books/system/toothbrush/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/toothbrush-deps.lisp text/plain root:root 0o644 395 bytes
/usr/share/acl2-8.0dfsg/books/system/toothbrush/make-toothbrush.acl2 text/plain root:root 0o644 272 bytes
/usr/share/acl2-8.0dfsg/books/system/toothbrush/make-toothbrush.lisp text/x-lisp root:root 0o644 20.4 KB
/usr/share/acl2-8.0dfsg/books/system/toothbrush/tests/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/toothbrush/tests/test-par/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/toothbrush/tests/test-par/test-par.lisp text/x-lisp root:root 0o644 531 bytes
/usr/share/acl2-8.0dfsg/books/system/toothbrush/tests/test1/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/toothbrush/tests/test1/test1.lisp text/x-lisp root:root 0o644 1002 bytes
/usr/share/acl2-8.0dfsg/books/system/toothbrush/tests/test2/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/system/toothbrush/tests/test2/test2.lisp text/x-lisp root:root 0o644 816 bytes
/usr/share/acl2-8.0dfsg/books/system/top.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/system/untranslate-car-cdr.lisp text/plain root:root 0o644 23.7 KB
/usr/share/acl2-8.0dfsg/books/system/update-state.lisp text/plain root:root 0o644 32.6 KB
/usr/share/acl2-8.0dfsg/books/system/verified-termination-and-guards.lisp text/x-lisp root:root 0o644 6.7 KB
/usr/share/acl2-8.0dfsg/books/system/worldp-check.acl2 text/x-lisp root:root 0o644 409 bytes
/usr/share/acl2-8.0dfsg/books/system/worldp-check.lisp text/x-lisp root:root 0o644 596 bytes

APT Browse - Built by Thomas Orozco.