Nuprl Definition : Accum-loc-class

Accum-loc-class(f;init;X) ==  lifting-loc-2(f)|Loc, X, Prior(self)?init|


Proof not projected



Definitions occuring in Statement :  lifting-loc-2: lifting-loc-2(f),  rec-combined-loc-class-opt-1: F|Loc, X, Prior(self)?init|
FDL editor aliases :  Accum-loc-class
Accum-loc-class(f;init;X)  ==    lifting-loc-2(f)|Loc,  X,  Prior(self)?init|


Date html generated: 2011_10_20-PM-03_34_09
Last ObjectModification: 2011_09_23-PM-07_14_45

Home Index