Nuprl Definition : ohc_v1_main
ohc_v1_main(Cmd;cmdeq;flrs;learners;locs) == ohc_v1_Replica(Cmd;cmdeq;flrs;learners;locs)@locs
Definitions occuring in Statement :
ohc_v1_Replica: ohc_v1_Replica(Cmd;cmdeq;flrs;learners;locs),
class-at: X@locs
FDL editor aliases :
ohc_v1_main
ohc\_v1\_main(Cmd;cmdeq;flrs;learners;locs) == ohc\_v1\_Replica(Cmd;cmdeq;flrs;learners;locs)@locs
Date html generated:
2012_02_20-PM-05_28_14
Last ObjectModification:
2012_02_13-PM-12_59_46
Home
Index