Nuprl Definition : eq_int
(i =z j) == if i=j then tt else ff
Definitions occuring in Statement :
bfalse: ff,
btrue: tt,
int_eq: if a=b then c else d
Definitions occuring in definition :
int_eq: if a=b then c else d,
btrue: tt,
bfalse: ff
FDL editor aliases :
eq_int
Latex:
(i =\msubz{} j) == if i=j then tt else ff
Date html generated:
2016_05_13-PM-03_20_06
Last ObjectModification:
2016_01_04-AM-10_25_04
Theory : basic_types
Home
Index