(IN-PACKAGE "ACL2") "ACL2 Version 3.2" :BEGIN-PORTCULLIS-CMDS :END-PORTCULLIS-CMDS NIL (("/Users/cce/plt/research/dracula/trunk/src/teachpacks/world.lisp" "world" "world" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 138388818) ("/Users/cce/plt/research/dracula/trunk/src/teachpacks/image.lisp" "image" "image" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 253870938) ("/Users/cce/Local/ACL2/3.2/openmcl-64/books/data-structures/structures.lisp" "data-structures/structures" "structures" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 252660013) ("/Users/cce/Local/ACL2/3.2/openmcl-64/books/data-structures/utilities.lisp" "utilities" "utilities" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 58465099)) 115080221