WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites le int?
le_intDef ij == j < i
Thm* i,j:. (ij)
lt_int Def i < j == if i < j true ; false fi
Thm* i,j:. (i < j)
bnot Def b == if b false else true fi
Thm* b:. b

Syntax:ij has structure: le_int(i; j)

About:
boolbfalsebtrueifthenelseint
lessmemberall
!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc