full sequent assignment


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

(creation_script.lisp)