Nuprl Definition : Memory-class

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


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


Date html generated: 2016_05_17-AM-09_21_28
Last ObjectModification: 2012_11_29-AM-11_14_19

Theory : classrel!lemmas


Home Index