Thms sequent equality Sections ClassicalProps(jlc) Doc

Formula Def Formula == rec(formula.Var+formula+(formulaformula)+(formulaformula)+(formulaformula))

Thm* Formula Type

Var Def Var == Atom

Thm* Var Type

About:
!abstractionatommemberuniverserecunionproduct