Nuprl Definition : atomn def
Atom$n == PRIMITIVE
Rules referencing :
isAtom2ReduceTrue,
isAtom1ReduceTrue,
atomn_eqReduceTrueSq,
atomn_eqReduceFalseSq,
atomnEquality,
token1Equality,
token2Equality,
atomn_eqEquality,
baseAtomn,
freeFromAtomEquality,
freeFromAtomAbsurdity,
freeFromAtomBase,
freeFromAtom1Atom2,
callbyvalueAtom1,
callbyvalueAtom2,
callbyvalueAtomnEq,
exceptionAtomeq1,
exceptionAtomeq2,
atom1_eqExceptionCases,
atom2_eqExceptionCases,
isatom1Cases,
isatom2Cases
Latex:
Atom\$n == 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