(IN-PACKAGE "ACL2") "ACL2 Version 3.4" :BEGIN-PORTCULLIS-CMDS :END-PORTCULLIS-CMDS NIL (("/Users/cce/plt/research/dracula/release/src/teachpacks/defstructure.lisp" "defstructure" "defstructure" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 201046566) ("/Users/cce/Local/ACL2/3.4/openmcl64/books/data-structures/structures.lisp" "data-structures/structures" "structures" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 98933154) ("/Users/cce/Local/ACL2/3.4/openmcl64/books/data-structures/utilities.lisp" "utilities" "utilities" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 58465099)) 217896827