Thms
myhill
nerode
Sections
AutomataTheory
Doc
not
Def
A == A
False
Thm*
A:Prop. (
A)
Prop
About:
A == A 
False
A:Prop. (A) 
PropA == A False
