lg-label(g;x) ==  fst(g[x])
Definitions : 
pi1: fst(t), 
select: l[i]
FDL editor aliases : 
lg-label
lg-label(g;x)  ==    fst(g[x])
Date html generated:
2010_08_27-PM-03_43_03
Last ObjectModification:
2010_05_06-PM-02_02_56
Home
Index