Thms bool 1 Doc

lt_int Def i < z j == if i < j true ; false fi

Thm* i,j:. i < z j

bfalse Def false ==

Thm* false

btrue Def true ==

Thm* true