]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mml2mmlv1_0.xsl
Modified Files:
[helm.git] / helm / style / mml2mmlv1_0.xsl
index c88dd3da2a925c2a5fa8dcfc6582ae2dde583f9c..063bfb8cad6c12e61df583e0fa3de9ad159f4d27 100644 (file)
@@ -22,7 +22,7 @@
 
 <!-- ====================================================== -->
 <!--  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:                -->