X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fproofs.xsl;h=8265e079e261615fe0dc374c51001dbd551160e7;hb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;hp=88af829f8eadf6c14521fd64947e512503cd0bef;hpb=aa87f28d3a96456e7cec9493c6533e5c146812e8;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 88af829f8..8265e079e 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -45,17 +45,6 @@
-
-
- thread
-
-
- app
-
-
-
-
-
+
+
+ thread
+
+
+ app
+
+
+
+
+
proof
@@ -129,7 +129,18 @@
+
+
+
+
+
+
thread