Nuprl Definition : isint def

if z is an integer then a else b ==  PRIMITIVE


Rules referencing :  StrongContinuity2,  isintReduceTrue,  isintReduceAtom,  callbyvalueIsint,  isintExceptionCases,  isintCases
FDL editor aliases :  isint
Latex:
if  z  is  an  integer  then  a  else  b  ==    PRIMITIVE


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

Theory : canonical!form!tests


Home Index