sequent
Sections
ClassicalProps(jlc)
Doc
Def
Sequent == (Formula List)
(Formula List)
Thm*
((Formula List)
(Formula List))
Sequent product_inc_Sequent