SM-base(init;trX) == lifting-loc-2(fst(trX))|Loc, snd(trX), 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|,
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
SM-base
SM-base(init;trX) == lifting-loc-2(fst(trX))|Loc, snd(trX), Prior(self)?init|
Date html generated:
2011_08_17-PM-06_16_36
Last ObjectModification:
2011_08_15-AM-01_48_38
Home
Index