Nuprl Definition : max_exch_main
max_exch_main(A;B) == max_exch_Exchange()@A.B.{}
Definitions occuring in Statement :
max_exch_Exchange: max_exch_Exchange(),
class-at: X@locs,
cons-bag: x.b,
empty-bag: {}
FDL editor aliases :
max_exch_main
max\_exch\_main(A;B) == max\_exch\_Exchange()@A.B.\{\}
Date html generated:
2012_02_20-PM-05_17_21
Last ObjectModification:
2012_02_17-PM-03_05_48
Home
Index