Nuprl Definition : SM1-class-du

SM1-class-du(init;trX) ==  let tr,X = trX in Accum-loc-class(tr;init;X)


Proof not projected



Definitions occuring in Statement :  Accum-loc-class: Accum-loc-class(f;init;X),  spread: spread def
FDL editor aliases :  SM1-class-du
SM1-class-du(init;trX)  ==    let  tr,X  =  trX  in  Accum-loc-class(tr;init;X)


Date html generated: 2011_10_20-PM-03_40_37
Last ObjectModification: 2011_09_23-PM-08_45_41

Home Index