Thms bool 1 Doc

bfalse Def false ==

Thm* false

bool Def == Unit+Unit

Thm* Type

btrue Def true ==

Thm* true