var
jlc
Doc
The section "var" of Caldwell's Classical Propositional Logic library in nuprl/lib/theories/caldwell/theories/classical.
(creation_script.lisp)
Wed Jan 29 17:20:00 EST 2003
var
jlc
Doc
