X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fnuprl_stylesheets%2Fnuprl_content_to_html2.xsl;h=cc6e7c9cccee494274d07c21d7c12875924af0f7;hb=789a37bedf2a8ce2a0b4389fb5c48a0a7b6572d6;hp=43d420f2f6fd920cfdab3a73747d3e2a1258b5da;hpb=8bd6f1c6b48b2d3ba90ed6e9bb645b03d752407b;p=helm.git
diff --git a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
index 43d420f2f..cc6e7c9cc 100644
--- a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
+++ b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
@@ -2844,6 +2844,14 @@
+
+
+
+
+ :=
+
+
+