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