X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=0651f65ec6cdb2224b864010bd8a5025953cbee2;hb=7527c24dcf7e7e59a8bc54fb99204a83bd25d083;hp=306b48fbc3d7821bdbae9f5f851a95f7c846e796;hpb=d4b90e232867dd3cda85b7707ac456b547539a06;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 306b48fbc..0651f65ec 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -55,7 +55,6 @@
proof
-
@@ -90,6 +89,16 @@
+
+
@@ -97,26 +106,40 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -131,37 +154,12 @@
+
+
-
-
-
- nat_ind
-
-
-
-
-
-
-
-
+
+
+
+
-
-
+
+
+
+
@@ -226,7 +230,10 @@
-
+
+
+
+
@@ -249,8 +256,11 @@
rw_step
-
-
+
+
+
+
+
@@ -265,7 +275,7 @@
-
@@ -276,7 +286,7 @@
-
-
@@ -343,8 +353,7 @@
-
-
+
+
+
+
+ letin
+
+ let
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+ rw_step
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -407,7 +491,17 @@
-
+
+
+
+ app
+
+
+
+
+
+
+
@@ -424,13 +518,34 @@
+
+
+
+
+
+
+ .
+
+
+
+
+
-
+
previous
-
+
+
+
+
+
+
+ .
+
+
+
@@ -440,8 +555,6 @@
-
-
@@ -451,7 +564,15 @@
-
+
+
+
+
+
+ .
+
+
+
@@ -460,6 +581,8 @@
+
+
@@ -499,9 +622,3 @@
-
-
-
-
-
-