isrcv_locl{isrcv_locl_compseq_tag_def:o}(a) == compseq(isrcv(locl(a)); ff)
Definitions :
isrcv: isrcv(k),
locl: locl(a),
bfalse: ff
isrcv\_locl\{isrcv\_locl\_compseq\_tag\_def:o\}(a) == compseq(isrcv(locl(a)); ff)
Date html generated:
2010_08_26-PM-11_33_19
Last ObjectModification:
2008_02_27-PM-09_23_23
Home
Index