X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fproofs.xsl;h=426e161290e850fb092c82244669671f1dddf68f;hb=2540cc551ae097178c7e11ec578b58977a35bd3b;hp=ba45ee0dc898c62d4ff58df40c748e2609dae572;hpb=402d69254737c64b36cf00e223f520c53faf33db;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index ba45ee0dc..426e16129 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -98,7 +98,8 @@
-
+
+
thread
@@ -106,7 +107,7 @@
app
-
+
@@ -122,7 +123,8 @@
-
+
+
previous
@@ -166,7 +168,8 @@
app
-
+
+
@@ -187,8 +190,12 @@
+
+
+
rewrite_and_apply