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