X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fnuprl_stylesheets%2Fnuprl_content_to_html2.xsl;h=cc6e7c9cccee494274d07c21d7c12875924af0f7;hb=278d9954e80f952f7cde793e33e01bacce1cd40c;hp=5fb0c0d8aaec85dd4059d28f78543bfac4629bdb;hpb=e9db2c226034b75e69dba72b6bd577a7bcf6a31f;p=helm.git
diff --git a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
index 5fb0c0d8a..cc6e7c9cc 100644
--- a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
+++ b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
@@ -2785,10 +2785,6 @@
By
-
-
-
-
Tactic Details
@@ -2848,6 +2844,14 @@
+
+
+
+
+ :=
+
+
+