Nuprl Definition : atom_eq def

if a=b then c else d fi  ==  PRIMITIVE


Rules referencing :  atom_eqEquality,  atom_eqReduceTrueSq,  atom_eqReduceFalseSq,  callbyvalueAtomEq,  exceptionAtomeq,  atom_eqExceptionCases
FDL editor aliases :  atomeq
Latex:
if  a=b  then  c  else  d  fi    ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_04_02
Last ObjectModification: 2006_01_26-PM-03_55_15

Theory : core_1


Home Index