Thms bool 1 Doc

bool Def == Unit+Unit

Thm* Type

decidable Def Dec(P) == P P

Thm* Dec(A) Prop

btrue Def true ==

Thm* true

not Def A == A False

Thm* (A) Prop

bfalse Def false ==

Thm* false