Nuprl Definition : case_default

Default => body ==  λvalue,value. body



Definitions occuring in Statement :  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x]
FDL editor aliases :  case_default

Latex:
Default  =>  body  ==    \mlambda{}value,value.  body



Date html generated: 2016_05_14-PM-04_15_41
Last ObjectModification: 2015_09_22-PM-06_02_33

Theory : prog_1


Home Index