acl2-books-source 4.3-3 / usr / share / acl2-4.3 / books / centaur / misc

This file is indexed.

/usr/share/acl2-4.3/books/centaur/misc/ is in acl2-books-source 4.3-3.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-4.3/books/centaur/misc/alist-defs.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-4.3/books/centaur/misc/alist-equiv.lisp text/plain root:root 0o644 13.4 KB
/usr/share/acl2-4.3/books/centaur/misc/ap.lisp text/plain root:root 0o644 529 bytes
/usr/share/acl2-4.3/books/centaur/misc/defapply.lisp text/x-lisp root:root 0o644 24.2 KB
/usr/share/acl2-4.3/books/centaur/misc/equal-sets.acl2 text/plain root:root 0o644 1.1 KB
/usr/share/acl2-4.3/books/centaur/misc/equal-sets.lisp text/x-lisp root:root 0o644 15.4 KB
/usr/share/acl2-4.3/books/centaur/misc/evaluator-metatheorems.lisp text/x-lisp root:root 0o644 15.5 KB
/usr/share/acl2-4.3/books/centaur/misc/f-put-global.lisp text/plain root:root 0o644 3.2 KB
/usr/share/acl2-4.3/books/centaur/misc/fast-alists.lisp text/plain root:root 0o644 12.9 KB
/usr/share/acl2-4.3/books/centaur/misc/hons-extra.lisp text/x-lisp root:root 0o644 8.4 KB
/usr/share/acl2-4.3/books/centaur/misc/hons-sets.lisp text/x-lisp root:root 0o644 9.2 KB
/usr/share/acl2-4.3/books/centaur/misc/interp-function-lookup.lisp text/plain root:root 0o644 23.0 KB
/usr/share/acl2-4.3/books/centaur/misc/ls.lisp text/x-lisp root:root 0o644 8.3 KB
/usr/share/acl2-4.3/books/centaur/misc/memory-mgmt-logic.lisp text/x-lisp root:root 0o644 2.7 KB
/usr/share/acl2-4.3/books/centaur/misc/memory-mgmt-raw.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-4.3/books/centaur/misc/sneaky-load.lisp text/x-lisp root:root 0o644 11.5 KB
/usr/share/acl2-4.3/books/centaur/misc/universal-equiv.lisp text/x-lisp root:root 0o644 5.9 KB
/usr/share/acl2-4.3/books/centaur/misc/vecs-ints.lisp text/x-lisp root:root 0o644 9.0 KB
/usr/share/acl2-4.3/books/centaur/misc/witness-cp.acl2 text/plain root:root 0o644 1.1 KB
/usr/share/acl2-4.3/books/centaur/misc/witness-cp.lisp text/plain root:root 0o644 72.0 KB

APT Browse - Built by Thomas Orozco.