Nuprl Definition : atomeqn def
if a=$n b then x else y == PRIMITIVE
Rules referencing :
atomn_eqReduceTrueSq,
atomn_eqReduceFalseSq,
atomn_eqEquality,
callbyvalueAtomnEq,
tryReduceValue,
exceptionAtomeq1,
exceptionAtomeq2,
atom1_eqExceptionCases,
atom2_eqExceptionCases
Latex:
if a=\$n b then x else y == PRIMITIVE
Date html generated:
2016_05_13-PM-03_21_04
Last ObjectModification:
2013_05_31-PM-02_44_16
Theory : atom_1
Home
Index