ClassicalProp
jlc
Caldwell's Propositional Logic development in nuprl/lib/theories/caldwell/theories/classical/.
(creation_script.lisp)