Nuprl Definition : atom def
Atom == PRIMITIVE
Rules referencing :
atomEquality,
tokenEquality,
atom_eqEquality,
baseAtom,
isatomReduceTrue,
isintReduceAtom,
atom_eqReduceTrueSq,
atom_eqReduceFalseSq,
callbyvalueAtom,
callbyvalueAtomEq,
exceptionAtomeq,
atom_eqExceptionCases,
isatomCases
Latex:
Atom == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_38
Last ObjectModification:
2006_01_26-PM-03_52_34
Theory : core_1
Home
Index