makeMsgfst{makeMsgfst_compseq_tag_def:o}(c; b; a) ==
compseq(fst(make-Msg(a;b;c)); a)
Definitions occuring in Statement :
make-Msg: make-Msg(hdr;typ;val),
pi1: fst(t)
makeMsgfst\{makeMsgfst\_compseq\_tag\_def:o\}(c; b; a) == compseq(fst(make-Msg(a;b;c)); a)
Date html generated:
2011_08_17-PM-04_07_04
Last ObjectModification:
2011_07_21-PM-06_22_41
Home
Index