X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fnuprl_stylesheets%2Fnuprl_mmlextension.xsl;h=f6c1590dfacc047dbb94b0df0a68677b93d226ae;hb=975e536db4920307acb78de083621491f0566de1;hp=028579230a87ace26d81cd4337225db25f0249f9;hpb=734a6fc5d8da4896c646d1dd7a17afaf0dd33224;p=helm.git
diff --git a/helm/nuprl_stylesheets/nuprl_mmlextension.xsl b/helm/nuprl_stylesheets/nuprl_mmlextension.xsl
index 028579230..f6c1590df 100644
--- a/helm/nuprl_stylesheets/nuprl_mmlextension.xsl
+++ b/helm/nuprl_stylesheets/nuprl_mmlextension.xsl
@@ -251,6 +251,18 @@ which generates the toplevel element (see for instance xlink) -->
+
+
+
+
+
+
+ :=
+
+
+
+
+