Nuprl - formula rank creation notes

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

(creation_script.lisp)

Wed Jan 29 17:52:11 EST 2003