Thms
bool
1
Doc
btrue
Def
true
==
Thm* true
bfalse
Def
false
==
Thm* false
bool
Def
== Unit+Unit
Thm*
Type
not
Def
A == A
False
Thm* (
A)
Prop