Nuprl Definition : lt_int
i <z j == if (i) < (j) then tt else ff
Definitions occuring in Statement :
bfalse: ff,
btrue: tt,
less: if (a) < (b) then c else d
Definitions occuring in definition :
less: if (a) < (b) then c else d,
btrue: tt,
bfalse: ff
FDL editor aliases :
lt_int
Latex:
i <z j == if (i) < (j) then tt else ff
Date html generated:
2016_05_13-PM-03_20_07
Last ObjectModification:
2016_01_04-AM-10_27_13
Theory : basic_types
Home
Index