acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / kestrel / apt

This file is indexed.

/usr/share/acl2-8.0dfsg/books/kestrel/apt/ 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/kestrel/apt/cert.acl2 text/plain root:root 0o644 459 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/apt/portcullis.acl2 text/plain root:root 0o644 448 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/apt/portcullis.lisp text/plain root:root 0o644 434 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/apt/restrict-design.lisp text/html root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/restrict-reference.lisp text/plain root:root 0o644 13.8 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/restrict-tests.lisp text/x-lisp root:root 0o644 22.9 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/restrict.lisp text/plain root:root 0o644 50.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/tailrec-design.lisp text/html root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/tailrec-reference.lisp text/x-lisp root:root 0o644 23.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/tailrec-tests.lisp text/x-lisp root:root 0o644 33.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/tailrec.lisp text/plain root:root 0o644 113.6 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/top.lisp text/html root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/cert.acl2 text/plain root:root 0o644 358 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/print-specifiers-tests.lisp text/plain root:root 0o644 3.7 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/print-specifiers.lisp text/plain root:root 0o644 5.4 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/top.lisp text/plain root:root 0o644 589 bytes
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/transformation-table-tests.lisp text/plain root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/kestrel/apt/utilities/transformation-table.lisp text/plain root:root 0o644 4.8 KB

APT Browse - Built by Thomas Orozco.