(IN-PACKAGE "ACL2") "ACL2 Version 3.6" :BEGIN-PORTCULLIS-CMDS :END-PORTCULLIS-CMDS NIL (("/Users/cce/git/planet/dracula/teachpacks/list-utilities.lisp" "list-utilities" "list-utilities" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 376000559)) 1654104465