PrintForm
Definitions
sequent
equality
Sections
ClassicalProps(jlc)
Doc
At:
discrete
Sequent
Discrete{Sequent}
By:
Inst
Thm*
Discrete{Formula} []
Generated subgoal:
1
1.
Discrete{Formula}
Discrete{Sequent}
Discrete{Sequent} Discrete{Sequent} Discrete{Sequent}