WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites eq int?
eq_intDef i=j == if i=j true ; false fi
Thm* i,j:. (i=j)

Syntax:i=j has structure: eq_int(i; j)

About:
boolbfalsebtrueintint_eqmemberall!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc