tag_rcv{tag_rcv_compseq_tag_def:o}(tg; l) == compseq(tag(rcv(l,tg)); tg)
Definitions :
tagof: tag(k),
rcv: rcv(l,tg)
tag\_rcv\{tag\_rcv\_compseq\_tag\_def:o\}(tg; l) == compseq(tag(rcv(l,tg)); tg)
Date html generated:
2010_08_26-PM-11_33_17
Last ObjectModification:
2008_02_27-PM-09_23_11
Home
Index