sequent sat lemmas Sections ClassicalProps(jlc) Doc

Def b == if b True else False fi

In prior sections: bool 1 union quot 1 list 1 bool 2 jlc discrete jlc core 3 jlc list 3 jlc