acl2-books-source 6.3-5 / usr / share / acl2-6.3 / books / centaur / 4v-sexpr

This file is indexed.

/usr/share/acl2-6.3/books/centaur/4v-sexpr/ 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/centaur/4v-sexpr/4v-logic.lisp text/x-lisp root:root 0o644 36.6 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/bitspecs.lisp text/x-lisp root:root 0o644 52.9 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/cert.acl2 text/plain root:root 0o644 1.0 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/compose-sexpr.lisp text/x-lisp root:root 0o644 26.8 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/g-sexpr-eval.acl2 text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/g-sexpr-eval.lisp text/x-lisp root:root 0o644 21.9 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/nsexprs.lisp text/x-lisp root:root 0o644 9.8 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/onehot-rewrite.lisp text/plain root:root 0o644 64.3 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/portcullis.acl2 text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/portcullis.lisp text/plain root:root 0o644 1018 bytes
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-3v.lisp text/plain root:root 0o644 2.3 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-advanced.lisp text/plain root:root 0o644 6.0 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-building.lisp text/plain root:root 0o644 20.0 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-equivs.lisp text/x-lisp root:root 0o644 25.7 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-eval.lisp text/x-lisp root:root 0o644 25.2 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-fixpoint-correct.lisp text/x-lisp root:root 0o644 78.3 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-fixpoint-rewriting.lisp text/x-lisp root:root 0o644 232 bytes
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-fixpoint-spec.lisp text/x-lisp root:root 0o644 41.4 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-fixpoint-top.lisp text/plain root:root 0o644 4.4 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-fixpoint.lisp text/x-lisp root:root 0o644 26.2 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-loop-debug.lisp text/x-lisp root:root 0o644 13.0 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-rewrites.lisp text/x-lisp root:root 0o644 106.9 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-to-faig.lisp text/plain root:root 0o644 29.1 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-vars-1pass.lisp text/x-lisp root:root 0o644 11.2 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/sexpr-vars.lisp text/x-lisp root:root 0o644 8.8 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/svarmap.lisp text/x-lisp root:root 0o644 11.3 KB
/usr/share/acl2-6.3/books/centaur/4v-sexpr/top.lisp text/plain root:root 0o644 7.2 KB

APT Browse - Built by Thomas Orozco.