acl2-books-source 6.5-2 / usr / share / acl2-6.5 / books / system

This file is indexed.

/usr/share/acl2-6.5/books/system/ is in acl2-books-source 6.5-2.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-6.5/books/system/compare-out-files.lisp text/plain root:root 0o644 76.1 KB
/usr/share/acl2-6.5/books/system/convert-normalized-term-to-pairs.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-6.5/books/system/deps-pcert.lisp text/plain root:root 0o644 318 bytes
/usr/share/acl2-6.5/books/system/doc/ root:root 0o755
/usr/share/acl2-6.5/books/system/doc/acl2-doc-wrap.lisp text/html root:root 0o644 4.9 KB
/usr/share/acl2-6.5/books/system/doc/acl2-doc.lisp text/html root:root 0o644 4.4 MB
/usr/share/acl2-6.5/books/system/doc/acl2-manual.lisp text/x-lisp root:root 0o644 849 bytes
/usr/share/acl2-6.5/books/system/doc/cert.acl2 text/plain root:root 0o644 1.7 KB
/usr/share/acl2-6.5/books/system/doc/render-doc-base.lisp text/x-lisp root:root 0o644 6.4 KB
/usr/share/acl2-6.5/books/system/doc/render-doc.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-6.5/books/system/extend-pathname.lisp text/plain root:root 0o644 3.1 KB
/usr/share/acl2-6.5/books/system/f-put-global.lisp text/plain root:root 0o644 6.7 KB
/usr/share/acl2-6.5/books/system/gather-dcls.lisp text/plain root:root 0o644 358 bytes
/usr/share/acl2-6.5/books/system/hl-addr-combine.lisp text/plain root:root 0o644 18.5 KB
/usr/share/acl2-6.5/books/system/hons-check/ root:root 0o755
/usr/share/acl2-6.5/books/system/hons-check/basic.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-6.5/books/system/hons-check/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-6.5/books/system/hons-check/hons-check.lisp text/x-lisp root:root 0o644 2.9 KB
/usr/share/acl2-6.5/books/system/hons-check/memoize-tests.lisp text/x-lisp root:root 0o644 5.3 KB
/usr/share/acl2-6.5/books/system/legal-variablep.lisp text/plain root:root 0o644 3.3 KB
/usr/share/acl2-6.5/books/system/meta-extract.lisp text/plain root:root 0o644 387 bytes
/usr/share/acl2-6.5/books/system/origin.acl2 text/plain root:root 0o644 45 bytes
/usr/share/acl2-6.5/books/system/origin.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-6.5/books/system/parallel/ root:root 0o755
/usr/share/acl2-6.5/books/system/parallel/cert.acl2 text/plain root:root 0o644 119 bytes
/usr/share/acl2-6.5/books/system/parallel/hint-tests.lisp text/x-lisp root:root 0o644 34.6 KB
/usr/share/acl2-6.5/books/system/parallel/proofs/ root:root 0o755
/usr/share/acl2-6.5/books/system/parallel/proofs/ideal-speedup.lisp text/x-lisp root:root 0o644 11.9 KB
/usr/share/acl2-6.5/books/system/parallel/spec-mv-let.lisp text/x-lisp root:root 0o644 2.7 KB
/usr/share/acl2-6.5/books/system/parallel/stress-tests.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-6.5/books/system/parallel/syntax-tests.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-6.5/books/system/pcert/ root:root 0o755
/usr/share/acl2-6.5/books/system/pcert/acl2x-pcert-test-1.acl2 text/plain root:root 0o644 283 bytes
/usr/share/acl2-6.5/books/system/pcert/acl2x-pcert-test-1.lisp text/x-lisp root:root 0o644 291 bytes
/usr/share/acl2-6.5/books/system/pcert/acl2x-pcert-test-2-include.lisp text/plain root:root 0o644 1015 bytes
/usr/share/acl2-6.5/books/system/pcert/acl2x-pcert-test-2.acl2 text/plain root:root 0o644 118 bytes
/usr/share/acl2-6.5/books/system/pcert/acl2x-pcert-test-2.lisp text/x-lisp root:root 0o644 779 bytes
/usr/share/acl2-6.5/books/system/pcert/cert.acl2 text/plain root:root 0o644 216 bytes
/usr/share/acl2-6.5/books/system/pcert/elide-test.lisp text/plain root:root 0o644 815 bytes
/usr/share/acl2-6.5/books/system/pcert/mid.acl2 text/plain root:root 0o644 429 bytes
/usr/share/acl2-6.5/books/system/pcert/mid.lisp text/x-lisp root:root 0o644 257 bytes
/usr/share/acl2-6.5/books/system/pcert/pkg-test.acl2 text/plain root:root 0o644 291 bytes
/usr/share/acl2-6.5/books/system/pcert/pkg-test.lisp text/x-lisp root:root 0o644 207 bytes
/usr/share/acl2-6.5/books/system/pcert/sub.lisp text/x-lisp root:root 0o644 793 bytes
/usr/share/acl2-6.5/books/system/pcert/top.acl2 text/plain root:root 0o644 380 bytes
/usr/share/acl2-6.5/books/system/pcert/top.lisp text/x-lisp root:root 0o644 285 bytes
/usr/share/acl2-6.5/books/system/pseudo-good-worldp.lisp text/plain root:root 0o644 110.0 KB
/usr/share/acl2-6.5/books/system/pseudo-termp-lemmas.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-6.5/books/system/random.lisp text/plain root:root 0o644 3.6 KB
/usr/share/acl2-6.5/books/system/subcor-var.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-6.5/books/system/sublis-var.lisp text/x-lisp root:root 0o644 3.9 KB
/usr/share/acl2-6.5/books/system/subst-expr.lisp text/x-lisp root:root 0o644 2.7 KB
/usr/share/acl2-6.5/books/system/subst-var.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-6.5/books/system/too-many-ifs.acl2 text/plain root:root 0o644 252 bytes
/usr/share/acl2-6.5/books/system/too-many-ifs.lisp text/plain root:root 0o644 4.0 KB
/usr/share/acl2-6.5/books/system/top.lisp text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.5/books/system/update-state.lisp text/plain root:root 0o644 32.6 KB
/usr/share/acl2-6.5/books/system/verified-termination-and-guards.lisp text/plain root:root 0o644 923 bytes
/usr/share/acl2-6.5/books/system/worldp-check.acl2 text/x-lisp root:root 0o644 409 bytes
/usr/share/acl2-6.5/books/system/worldp-check.lisp text/x-lisp root:root 0o644 596 bytes

APT Browse - Built by Thomas Orozco.