Thms
sat
lemmas
Sections
ClassicalProps(jlc)
Doc
fand
Def
p
q == inr(inr(inl( < p,q > )))
Thm*
p,q:Formula. p
q
Formula
About:
q == inr(inr(inl( < p,q > )))
p,q:Formula. pq 
Formulaq == inr(inr(inl( < p,q > )))
