acl2-books-source 6.3-5 / usr / share / acl2-6.3 / books / system

This file is indexed.

/usr/share/acl2-6.3/books/system/ is in acl2-books-source 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/system/compare-out-files.lisp text/plain root:root 0o644 76.1 KB
/usr/share/acl2-6.3/books/system/convert-normalized-term-to-pairs.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-6.3/books/system/deps-pcert.lisp text/plain root:root 0o644 153 bytes
/usr/share/acl2-6.3/books/system/extend-pathname.lisp text/plain root:root 0o644 2.7 KB
/usr/share/acl2-6.3/books/system/f-put-global.lisp text/plain root:root 0o644 6.2 KB
/usr/share/acl2-6.3/books/system/gather-dcls.lisp text/plain root:root 0o644 358 bytes
/usr/share/acl2-6.3/books/system/hl-addr-combine.lisp text/plain root:root 0o644 17.9 KB
/usr/share/acl2-6.3/books/system/legal-variablep.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-6.3/books/system/meta-extract.lisp text/plain root:root 0o644 192 bytes
/usr/share/acl2-6.3/books/system/origin.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-6.3/books/system/pcert/ root:root 0o755
/usr/share/acl2-6.3/books/system/pcert/acl2x-pcert-test-1.acl2 text/plain root:root 0o644 283 bytes
/usr/share/acl2-6.3/books/system/pcert/acl2x-pcert-test-1.lisp text/x-lisp root:root 0o644 291 bytes
/usr/share/acl2-6.3/books/system/pcert/acl2x-pcert-test-2-include.lisp text/plain root:root 0o644 1015 bytes
/usr/share/acl2-6.3/books/system/pcert/acl2x-pcert-test-2.acl2 text/plain root:root 0o644 118 bytes
/usr/share/acl2-6.3/books/system/pcert/acl2x-pcert-test-2.lisp text/x-lisp root:root 0o644 779 bytes
/usr/share/acl2-6.3/books/system/pcert/cert.acl2 text/plain root:root 0o644 216 bytes
/usr/share/acl2-6.3/books/system/pcert/elide-test.lisp text/plain root:root 0o644 815 bytes
/usr/share/acl2-6.3/books/system/pcert/mid.acl2 text/plain root:root 0o644 429 bytes
/usr/share/acl2-6.3/books/system/pcert/mid.lisp text/x-lisp root:root 0o644 257 bytes
/usr/share/acl2-6.3/books/system/pcert/pkg-test.acl2 text/plain root:root 0o644 291 bytes
/usr/share/acl2-6.3/books/system/pcert/pkg-test.lisp text/x-lisp root:root 0o644 207 bytes
/usr/share/acl2-6.3/books/system/pcert/sub.lisp text/x-lisp root:root 0o644 793 bytes
/usr/share/acl2-6.3/books/system/pcert/top.acl2 text/plain root:root 0o644 380 bytes
/usr/share/acl2-6.3/books/system/pcert/top.lisp text/x-lisp root:root 0o644 285 bytes
/usr/share/acl2-6.3/books/system/pseudo-good-worldp.lisp text/plain root:root 0o644 106.4 KB
/usr/share/acl2-6.3/books/system/pseudo-termp-lemmas.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-6.3/books/system/random.lisp text/plain root:root 0o644 3.2 KB
/usr/share/acl2-6.3/books/system/subcor-var.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-6.3/books/system/sublis-var.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-6.3/books/system/subst-expr.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-6.3/books/system/subst-var.lisp text/x-lisp root:root 0o644 2.2 KB
/usr/share/acl2-6.3/books/system/too-many-ifs.acl2 text/plain root:root 0o644 252 bytes
/usr/share/acl2-6.3/books/system/too-many-ifs.lisp text/plain root:root 0o644 3.8 KB
/usr/share/acl2-6.3/books/system/top.lisp text/plain root:root 0o644 521 bytes
/usr/share/acl2-6.3/books/system/update-state.lisp text/plain root:root 0o644 32.0 KB
/usr/share/acl2-6.3/books/system/verified-termination-and-guards.lisp text/plain root:root 0o644 732 bytes
/usr/share/acl2-6.3/books/system/worldp-check.acl2 text/x-lisp root:root 0o644 213 bytes
/usr/share/acl2-6.3/books/system/worldp-check.lisp text/x-lisp root:root 0o644 400 bytes

APT Browse - Built by Thomas Orozco.