Nuprl Definition : ler2_main
ler2_main(client;nodes;uid) == ler2_ProposeReply(client;uid) || ler2_ChooseReply(uid)@nodes
Definitions occuring in Statement :
class-at: X@locs,
parallel-class: X || Y
FDL editor aliases :
ler2_main
ler2\_main(client;nodes;uid) == ler2\_ProposeReply(client;uid) || ler2\_ChooseReply(uid)@nodes
Date html generated:
2012_02_20-PM-06_14_01
Last ObjectModification:
2012_02_02-PM-02_42_37
Home
Index