Nuprl Definition : Memory3
Memory3(init;tr1;X1;tr2;X2;tr3;X3) == Memory-loc-class(tr1 + tr2 + tr3;init;X1 (+) X2 (+) X3)
Definitions occuring in Statement :
disjoint-union-comb: X (+) Y,
disjoint-union-tr: tr1 + tr2,
Memory-loc-class: Memory-loc-class(f;init;X)
FDL editor aliases :
Memory3
Memory3(init;tr1;X1;tr2;X2;tr3;X3) == Memory-loc-class(tr1 + tr2 + tr3;init;X1 (+) X2 (+) X3)
Date html generated:
2012_01_23-PM-01_29_35
Last ObjectModification:
2012_01_11-PM-03_43_51
Home
Index