Nuprl Definition : norep2_main
norep2_main(client;ldr;store1;store2) ==
norep2_Leader(client;store1;store2)@{ldr} || norep2_Store(ldr)@store1.store2.{}
Definitions occuring in Statement :
norep2_Leader: norep2_Leader(client;store1;store2),
norep2_Store: norep2_Store(ldr),
class-at: X@locs,
parallel-class: X || Y,
cons-bag: x.b,
single-bag: {x},
empty-bag: {}
FDL editor aliases :
norep2_main
norep2\_main(client;ldr;store1;store2) ==
norep2\_Leader(client;store1;store2)@\{ldr\} || norep2\_Store(ldr)@store1.store2.\{\}
Date html generated:
2012_02_20-PM-03_37_35
Last ObjectModification:
2012_02_02-PM-01_57_31
Home
Index