Nuprl Definition : mu_ex_v4_otherProc
mu_ex_v4_otherProc(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_v4_otherProc
mu\_ex\_v4\_otherProc(proc1;proc2) == \mlambda{}l.if IdDeq l proc1 then proc2 else proc1 fi
Date html generated:
2012_02_20-PM-06_29_42
Last ObjectModification:
2012_02_02-PM-02_52_14
Home
Index