(IN-PACKAGE "ACL2")
"ACL2 Version 3.6"
:BEGIN-PORTCULLIS-CMDS
:END-PORTCULLIS-CMDS
NIL
(("/Users/cce/git/planet/dracula/teachpacks/world.lisp" "world" "world" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1080688126) ("/Users/cce/git/planet/dracula/teachpacks/image.lisp" "image" "image" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 183013223) ("/Users/cce/local/acl2-3.6/books/data-structures/structures.lisp" "data-structures/structures" "structures" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1689052343) ("/Users/cce/local/acl2-3.6/books/data-structures/utilities.lisp" "utilities" "utilities" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1874998488))
1202582578