sequent
equality
Sections
ClassicalProps(jlc)
Doc
Def
Sequent == (Formula List)
(Formula List)
Thm*
Discrete{Sequent} discrete__Sequent
In prior sections:
sequent