Nuprl Definition : ispair def

if z is a pair then a otherwise b ==  PRIMITIVE


Rules referencing :  callbyvalueIspair,  ispairExceptionCases,  ispairCases
FDL editor aliases :  ispair
Latex:
if  z  is  a  pair  then  a  otherwise  b  ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_04_33
Last ObjectModification: 2012_08_11-AM-10_57_07

Theory : canonical!form!tests


Home Index