<!-- ====================================================== -->
<!-- June, 2000 - HELM group: -->
-<!-- Added auxiliary function to inser: -->
+<!-- Added auxiliary function to insert: -->
<!-- 1) backwards pointers: helm:xref -->
<!-- 2) references to definitions: xlink:href -->
<!-- Added call-templates to the functions: -->