Nuprl Definition : switch

Switch(t) b ==  b t


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  switch
Latex:
Switch(t)  b  ==    b  t


Date html generated: 2016_05_14-PM-04_15_40
Last ObjectModification: 2015_09_22-PM-06_02_32

Theory : prog_1


Home Index