isrcv_rcv{isrcv_rcv_compseq_tag_def:o}(tg; l) == compseq(isrcv(rcv(l,tg)); tt)
Definitions :
isrcv: isrcv(k),
rcv: rcv(l,tg),
btrue: tt
isrcv\_rcv\{isrcv\_rcv\_compseq\_tag\_def:o\}(tg; l) == compseq(isrcv(rcv(l,tg)); tt)
Date html generated:
2010_08_26-PM-11_33_18
Last ObjectModification:
2008_02_27-PM-09_23_19
Home
Index