Thms
list
3
autom
Sections
AutomataTheory
Doc
rev_implies
Def
P
Q == Q
P
Thm*
A,B:Prop. (A
B)
Prop
About:
Q == Q 
P
A,B:Prop. (A B) 
Prop Q == Q P
