X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fnuprl_stylesheets%2Fnuprl_content_to_html2.xsl;h=ef15f1961ab592f13a804062a9e9a558cba2f7ea;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;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..ef15f1961 100644 --- a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl +++ b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl @@ -159,7 +159,7 @@ - + $ @@ -2314,7 +2314,7 @@ - + @@ -2476,7 +2476,7 @@ - + @@ -2785,10 +2785,6 @@ By - - - - Tactic Details @@ -2848,6 +2844,14 @@ + + + + + := + + +