Nuprl Definition : eq_atom
x =a y == if x=y then tt else ff fi
Definitions occuring in Statement :
bfalse: ff,
btrue: tt,
atom_eq: if a=b then c else d fi
Definitions occuring in definition :
atom_eq: if a=b then c else d fi ,
btrue: tt,
bfalse: ff
FDL editor aliases :
eq_atom
Latex:
x =a y == if x=y then tt else ff fi
Date html generated:
2016_05_13-PM-03_20_10
Last ObjectModification:
2016_01_04-AM-10_27_14
Theory : basic_types
Home
Index