Thms bool 1 Doc

eq_int Def i=j == if i=jtrue; false fi

Thm* i,j:. i=j

bfalse Def false ==

Thm* false

btrue Def true ==

Thm* true