(IN-PACKAGE "ACL2")
"ACL2 Version 3.4"
:BEGIN-PORTCULLIS-CMDS
:END-PORTCULLIS-CMDS
NIL
(("/Users/cce/plt/research/dracula/release/src/teachpacks/avl-rational-keys.lisp" "avl-rational-keys" "avl-rational-keys" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 123336934))
225235282