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