---

select-tagged-indices(P;tg;L) ==  select-tagged-indices-aux(P;tg;L) 0

---

Definitions :  apply: f a,  select-tagged-indices-aux: select-tagged-indices-aux(P;tg;L),  natural_number: $n
FDL editor aliases :  select-tagged-indices

---

select-tagged-indices(P;tg;L)  ==    select-tagged-indices-aux(P;tg;L)  0


Date html generated: 2010_08_27-PM-08_45_47
Last ObjectModification: 2010_03_23-PM-04_11_24

Home Index