Thms
bool
1
Doc
decidable
Def
Dec(P) == P
P
Thm* Dec(A)
Prop
not
Def
A == A
False
Thm* (
A)
Prop