Nuprl Definition : mu_ex_v5_getOtherProc
mu_ex_v5_getOtherProc(proc1;proc2) == 
l.if IdDeq l proc1 then proc2 else proc1 fi
Definitions occuring in Statement :
id-deq: IdDeq,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
mu_ex_v5_getOtherProc
mu\_ex\_v5\_getOtherProc(proc1;proc2) == \mlambda{}l.if IdDeq l proc1 then proc2 else proc1 fi
Date html generated:
2012_02_20-PM-06_53_09
Last ObjectModification:
2012_02_02-PM-02_57_26
Home
Index