Nuprl Definition : Memory-loc-class

Memory-loc-class(f;init;X) ==  Prior(Accum-loc-class(f;init;X))?init


Definitions occuring in Statement :  Accum-loc-class: Accum-loc-class(f;init;X),  primed-class-opt: Prior(X)?b
FDL editor aliases :  Memory-loc-class
Latex:
Memory-loc-class(f;init;X)  ==    Prior(Accum-loc-class(f;init;X))?init


Date html generated: 2016_05_17-AM-09_21_34
Last ObjectModification: 2012_11_29-AM-11_14_21

Theory : classrel!lemmas


Home Index