src_vlnk{src_vlnk_compseq_tag_def:o}(x; j; i) ==
compseq(source(link_x from i to j); i)
Definitions :
lsrc: source(l),
vlnk: link_x from i to j
src\_vlnk\{src\_vlnk\_compseq\_tag\_def:o\}(x; j; i) == compseq(source(link\_x from i to j); i)
Date html generated:
2010_08_26-PM-11_34_55
Last ObjectModification:
2008_02_27-PM-09_24_42
Home
Index