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