Nuprl Definition : mu_ex_v5_strong-message-constraint

mu_ex_v5_strong-message-constraint{i:l}(es;m1;m2;init;p1;p2) ==
strong-message-constraint-no-rep{i:l}(es;mu_ex_v5_main(init;m1;m2;p1;p2);mu_ex_v5_headers_no_inputs())

Definitions occuring in Statement : mu_ex_v5_headers_no_inputs: mu_ex_v5_headers_no_inputs(), mu_ex_v5_main: mu_ex_v5_main(initial_token;m1;m2;proc1;proc2), strong-message-constraint-no-rep: strong-message-constraint-no-rep{i:l}(es;X;hdrs)
FDL editor aliases : mu_ex_v5_strong-message-constraint

mu\_ex\_v5\_strong-message-constraint\{i:l\}(es;m1;m2;init;p1;p2) == strong-message-constraint-no-rep\{i:l\}(es;mu\_ex\_v5\_main(init;m1;m2;p1;p2);...) Date html generated: 2012_02_20-PM-06_59_28 Last ObjectModification: 2012_02_02-PM-03_01_22 Home Index