(IN-PACKAGE "ACL2")
"ACL2 Version 3.6"
:BEGIN-PORTCULLIS-CMDS
:END-PORTCULLIS-CMDS
NIL
(("/Users/cce/git/planet/dracula/teachpacks/list-theory.lisp" "list-theory" "list-theory" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1410910340) ("/Users/cce/local/acl2-3.6/books/data-structures/list-theory.lisp" "data-structures/list-theory" "list-theory" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1753086285) ("/Users/cce/local/acl2-3.6/books/data-structures/deflist.lisp" "deflist" "deflist" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1613084780) ("/Users/cce/local/acl2-3.6/books/data-structures/utilities.lisp" "utilities" "utilities" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1874998488) ("/Users/cce/local/acl2-3.6/books/data-structures/list-defthms.lisp" "list-defthms" "list-defthms" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 475635054) (LOCAL ("/Users/cce/local/acl2-3.6/books/arithmetic/equalities.lisp" "arithmetic/equalities" "equalities" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 718788641)) (LOCAL ("/Users/cce/local/acl2-3.6/books/cowles/acl2-crg.lisp" "cowles/acl2-crg" "acl2-crg" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1424545524)) (LOCAL ("/Users/cce/local/acl2-3.6/books/cowles/acl2-agp.lisp" "acl2-agp" "acl2-agp" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1921264827)) (LOCAL ("/Users/cce/local/acl2-3.6/books/cowles/acl2-asg.lisp" "acl2-asg" "acl2-asg" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1271551667)) ("/Users/cce/local/acl2-3.6/books/data-structures/list-defuns.lisp" "list-defuns" "list-defuns" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1893549443))
212689324