WhoCites Definitions mb automata 1 Sections GenAutomata Doc

Who Cites lt int?
lt_intDef i < j == if i < j true ; false fi
Thm* i,j:. (i < j)

Syntax:i < j has structure: lt_int(i; j)

About:
boolbfalsebtrueintlessmemberall!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc