Thms
grammar
1
Sections
AutomataTheory
Doc
iff
Def
P
Q == (P
Q) & (P
Q)
Thm*
A,B:Prop. (A
B)
Prop
rev_implies
Def
P
Q == Q
P
Thm*
A,B:Prop. (A
B)
Prop
About:
Q == (P 
Q) & (P Q)
A,B:Prop. (A B) 
Prop Q == Q P
A,B:Prop. (A B) Prop Q == (P Q) & (P Q)
Q == Q P
