Nuprl Definition : mu_ex_v4_main
mu_ex_v4_main(cs;initial_token;proc1;proc2) ==
on-loc-class(mu_ex_v4_P(cs;initial_token;proc1;proc2))@proc1.proc2.{} || mu_ex_v4_CS()@{cs}
Definitions occuring in Statement :
mu_ex_v4_CS: mu_ex_v4_CS(),
mu_ex_v4_P: mu_ex_v4_P(cs;initial_token;proc1;proc2),
on-loc-class: on-loc-class(X),
class-at: X@locs,
parallel-class: X || Y,
cons-bag: x.b,
single-bag: {x},
empty-bag: {}
FDL editor aliases :
mu_ex_v4_main
mu\_ex\_v4\_main(cs;initial$_{token}$;proc1;proc2) ==
on-loc-class(mu\_ex\_v4\_P(cs;initial$_{token}$;proc1;proc2))@proc1.proc2.\{\} || m\000Cu\_ex\_v4\_CS()@\{cs\}
Date html generated:
2012_02_20-PM-06_33_45
Last ObjectModification:
2012_02_02-PM-02_54_36
Home
Index