Nuprl Definition : ohc_v2_main
ohc_v2_main(Cmd;cmdeq;flrs;learners;locs) == ohc_v2_Replica(Cmd;cmdeq;flrs;learners;locs)@locs
Definitions occuring in Statement :
ohc_v2_Replica: ohc_v2_Replica(Cmd;cmdeq;flrs;learners;locs),
class-at: X@locs
FDL editor aliases :
ohc_v2_main
ohc\_v2\_main(Cmd;cmdeq;flrs;learners;locs) == ohc\_v2\_Replica(Cmd;cmdeq;flrs;learners;locs)@locs
Date html generated:
2012_02_20-PM-05_52_55
Last ObjectModification:
2012_02_17-PM-10_26_16
Home
Index