Nuprl Definition : case

Case(value) body ==  body value value


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  case
Latex:
Case(value)  body  ==    body  value  value


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

Theory : prog_1


Home Index