Nuprl Definition : Accum-loc-class
Accum-loc-class(f;init;X) == lifting-loc-2(f)|Loc, X, Prior(self)?init|
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
Latex:
Accum-loc-class(f;init;X) == lifting-loc-2(f)|Loc, X, Prior(self)?init|
Date html generated:
2015_07_22-PM-00_11_11
Last ObjectModification:
2012_11_29-AM-11_14_18
Home
Index