X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fproofs.xsl;h=4c207e4820e6d30f0e52a540aab890478536bc31;hb=85852ce076b8194f78dcf8ca40c203ba1cbb8ef8;hp=306b48fbc3d7821bdbae9f5f851a95f7c846e796;hpb=d4b90e232867dd3cda85b7707ac456b547539a06;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 306b48fbc..4c207e482 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -55,7 +55,6 @@
proof
-
@@ -80,7 +79,10 @@
-
+
+
@@ -90,6 +92,16 @@
+
+
@@ -97,26 +109,40 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -129,39 +155,57 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
+
+
- nat_ind
-
-
+ eq_chain
+
+
+
+
+
-
-
-
-
+
+
+
+
-
-
+
+
+
+
@@ -226,7 +276,10 @@
-
+
+
+
+
@@ -249,8 +302,11 @@
rw_step
-
-
+
+
+
+
+
@@ -265,7 +321,7 @@
-
@@ -276,7 +332,7 @@
-
-
@@ -343,8 +399,7 @@
-
-
+
+
+
+
+ letin
+
+ let
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+ rw_step
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ proof
+
+
+ side_proof
+
+
+
+
+
+
+
+
+
@@ -407,7 +551,17 @@
-
+
+
+
+ app
+
+
+
+
+
+
+
@@ -424,13 +578,34 @@
+
+
+
+
+
+
+ .
+
+
+
+
+
-
+
previous
-
+
+
+
+
+
+
+ .
+
+
+
@@ -440,8 +615,6 @@
-
-
@@ -451,7 +624,15 @@
-
+
+
+
+
+
+ .
+
+
+
@@ -460,6 +641,8 @@
+
+
@@ -499,9 +682,3 @@
-
-
-
-
-
-