sequent
sat
lemmas
The section "sequent_sat_lemmas" of Caldwell's Classical Propositional Logic library in nuprl/lib/theories/caldwell/theories/classical.
(creation_script.lisp)