Accum-class(f;init;X) == lifting-2(f)|X,Prior(self)?init|
Definitions occuring in Statement :
lifting-2: lifting-2(f),
rec-combined-class-opt-1: F|X,Prior(self)?init|
FDL editor aliases :
Accum-class
Accum-class(f;init;X) == lifting-2(f)|X,Prior(self)?init|
Date html generated:
2011_08_17-PM-06_16_21
Last ObjectModification:
2011_07_24-PM-04_13_35
Home
Index