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

This file is indexed.

/usr/share/acl2-8.0dfsg/books/hacking/ 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/hacking/all.acl2 text/plain root:root 0o644 179 bytes
/usr/share/acl2-8.0dfsg/books/hacking/all.lisp text/plain root:root 0o644 624 bytes
/usr/share/acl2-8.0dfsg/books/hacking/bridge.acl2 text/plain root:root 0o644 70 bytes
/usr/share/acl2-8.0dfsg/books/hacking/bridge.lisp text/x-lisp root:root 0o644 5.9 KB
/usr/share/acl2-8.0dfsg/books/hacking/defcode.acl2 text/plain root:root 0o644 107 bytes
/usr/share/acl2-8.0dfsg/books/hacking/defcode.lisp text/x-lisp root:root 0o644 7.5 KB
/usr/share/acl2-8.0dfsg/books/hacking/defstruct-parsing.acl2 text/plain root:root 0o644 81 bytes
/usr/share/acl2-8.0dfsg/books/hacking/defstruct-parsing.lisp text/x-lisp root:root 0o644 6.8 KB
/usr/share/acl2-8.0dfsg/books/hacking/doc-section.lisp text/plain root:root 0o644 382 bytes
/usr/share/acl2-8.0dfsg/books/hacking/dynamic-make-event-test.acl2 text/plain root:root 0o644 397 bytes
/usr/share/acl2-8.0dfsg/books/hacking/dynamic-make-event-test.lisp text/x-lisp root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/hacking/dynamic-make-event.acl2 text/plain root:root 0o644 284 bytes
/usr/share/acl2-8.0dfsg/books/hacking/dynamic-make-event.lisp text/x-lisp root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/hacking/evalable-ld-printing.acl2 text/plain root:root 0o644 142 bytes
/usr/share/acl2-8.0dfsg/books/hacking/evalable-ld-printing.lisp text/x-lisp root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/hacking/hacker.acl2 text/plain root:root 0o644 70 bytes
/usr/share/acl2-8.0dfsg/books/hacking/hacker.lisp text/x-lisp root:root 0o644 33.4 KB
/usr/share/acl2-8.0dfsg/books/hacking/hacking-xdoc.lisp text/x-lisp root:root 0o644 10.1 KB
/usr/share/acl2-8.0dfsg/books/hacking/progn-bang-enh.acl2 text/plain root:root 0o644 112 bytes
/usr/share/acl2-8.0dfsg/books/hacking/progn-bang-enh.lisp text/plain root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/hacking/raw.acl2 text/plain root:root 0o644 67 bytes
/usr/share/acl2-8.0dfsg/books/hacking/raw.lisp text/x-lisp root:root 0o644 8.1 KB
/usr/share/acl2-8.0dfsg/books/hacking/redefun.acl2 text/plain root:root 0o644 71 bytes
/usr/share/acl2-8.0dfsg/books/hacking/redefun.lisp text/x-lisp root:root 0o644 4.4 KB
/usr/share/acl2-8.0dfsg/books/hacking/rewrite-code.acl2 text/plain root:root 0o644 82 bytes
/usr/share/acl2-8.0dfsg/books/hacking/rewrite-code.lisp text/x-lisp root:root 0o644 26.0 KB
/usr/share/acl2-8.0dfsg/books/hacking/subsumption.acl2 text/plain root:root 0o644 75 bytes
/usr/share/acl2-8.0dfsg/books/hacking/subsumption.lisp text/x-lisp root:root 0o644 6.0 KB
/usr/share/acl2-8.0dfsg/books/hacking/table-guard.acl2 text/plain root:root 0o644 361 bytes
/usr/share/acl2-8.0dfsg/books/hacking/table-guard.lisp text/plain root:root 0o644 3.1 KB

APT Browse - Built by Thomas Orozco.