Nuprl Definition : vr_test_main
vr_test_main(m1;m2) == vr_test_Forward(m2)@{m1} || vr_test_Ackn(m1)@{m2}
Definitions occuring in Statement :
vr_test_Ackn: vr_test_Ackn(m1),
vr_test_Forward: vr_test_Forward(m2),
class-at: X@locs,
parallel-class: X || Y,
single-bag: {x}
FDL editor aliases :
vr_test_main
vr\_test\_main(m1;m2) == vr\_test\_Forward(m2)@\{m1\} || vr\_test\_Ackn(m1)@\{m2\}
Date html generated:
2012_02_20-PM-07_46_38
Last ObjectModification:
2012_02_03-PM-08_16_53
Home
Index