Thms
exponent
Sections
AutomataTheory
Doc
decidable
Def
Dec(P) == P
P
Thm*
A:Prop. Dec(A)
Prop
not
Def
A == A
False
Thm*
A:Prop. (
A)
Prop
About:
P
A:Prop. Dec(A) 
PropA == A 
False
A:Prop. (A) Prop P
A == A False
