act_locl{act_locl_compseq_tag_def:o}(a) == compseq(act(locl(a)); a)
Definitions :
actof: act(k),
locl: locl(a)
act\_locl\{act\_locl\_compseq\_tag\_def:o\}(a) == compseq(act(locl(a)); a)
Date html generated:
2010_08_26-PM-11_33_17
Last ObjectModification:
2008_02_27-PM-09_23_15
Home
Index