acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / projects / apply

This file is indexed.

/usr/share/acl2-8.0dfsg/books/projects/apply/ 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/projects/apply-model/apply-constraints.lisp text/plain root:root 0o644 12.3 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/apply-prim.lisp text/x-lisp root:root 0o644 15.4 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/apply.acl2 text/plain root:root 0o644 80 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/apply.lisp text/x-lisp root:root 0o644 109.4 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/cert.acl2 text/plain root:root 0o644 47 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex1/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex1/all-warrants-valid.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex1/cert.acl2 text/plain root:root 0o644 50 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex1/defattach-demo.lisp text/plain root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex1/doppelgangers.lisp text/x-lisp root:root 0o644 14.0 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex1/evaluation-apply.acl2 text/x-lisp root:root 0o644 330 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex1/evaluation-lemmas.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex1/evaluation-user-defs.acl2 text/plain root:root 0o644 125 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex1/user-defs.acl2 text/plain root:root 0o644 107 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex1/user-defs.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/all-warrants-valid.lisp text/plain root:root 0o644 6.7 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/cert.acl2 text/plain root:root 0o644 50 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/defattach-demo.lisp text/plain root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/doppelgangers.lisp text/x-lisp root:root 0o644 48.0 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/evaluation-apply.acl2 text/x-lisp root:root 0o644 330 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/evaluation-lemmas.lisp text/x-lisp root:root 0o644 8.6 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/evaluation-user-defs.acl2 text/plain root:root 0o644 125 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/user-defs.acl2 text/plain root:root 0o644 106 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/user-defs.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/ex2/user-thms.lisp text/plain root:root 0o644 10.4 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/portcullis.acl2 text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/portcullis.lisp text/plain root:root 0o644 20 bytes
/usr/share/acl2-8.0dfsg/books/projects/apply-model/report.lisp text/plain root:root 0o644 14.1 KB
/usr/share/acl2-8.0dfsg/books/projects/apply-model/weights-and-measures.lisp text/x-lisp root:root 0o644 11.6 KB
/usr/share/acl2-8.0dfsg/books/projects/apply/apply-lemmas.lisp text/x-lisp root:root 0o644 21.3 KB
/usr/share/acl2-8.0dfsg/books/projects/apply/report.lisp text/plain root:root 0o644 14.2 KB

APT Browse - Built by Thomas Orozco.