Nuprl - formula equality creation notes

The section "formula_equality" of Caldwell's Classical Propositional Logic library in nuprl/lib/theories/caldwell/theories/classical.

(creation_script.lisp)

Wed Jan 29 18:19:37 EST 2003