Nuprl Definition : less def
if (a) < (b)  then c  else d ==  PRIMITIVE
Rules referencing : 
lessEquality, 
StrongContinuity2, 
callbyvalueLess, 
exceptionLess, 
lessExceptionCases, 
lessCases
FDL editor aliases : 
less
Latex:
if  (a)  <  (b)    then  c    else  d  ==    PRIMITIVE
Date html generated:
2016_05_13-PM-03_04_05
Last ObjectModification:
2006_01_26-PM-03_55_18
Theory : core_1
Home
Index