(IN-PACKAGE "ACL2") "ACL2 Version 3.4" :BEGIN-PORTCULLIS-CMDS :END-PORTCULLIS-CMDS NIL (("/Users/cce/plt/research/dracula/release/src/teachpacks/testing.lisp" "testing" "testing" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 91881631)) 91441395