WhoCites Definitions mb automata 4 Sections GenAutomata 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 mb automata 4 Sections GenAutomata Doc