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