Nuprl Definition : pair def
<a, b> == PRIMITIVE
Rules referencing :
remainderBounds1,
remainderBounds2,
remainderBounds3,
remainderBounds4,
dependent_pairFormation,
dependent_pairEquality,
productElimination,
spreadEquality,
independent_pairFormation,
independent_pairEquality,
StrongContinuity2,
callbyvalueAdd,
callbyvalueMultiply,
callbyvalueDivide,
callbyvalueRemainder,
callbyvalueLess,
callbyvalueIntEq,
callbyvalueAtomEq,
callbyvalueAtomnEq,
applyPair,
ispairCases,
existsFunctionality
Latex:
<a, b> == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_54
Last ObjectModification:
2006_01_26-PM-03_54_20
Theory : core_1
Home
Index