X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=05cf06dd1f51d08d2d0747599be61968c1c4d3d8;hb=faf311442f59ccbc652c7965d23ed2945fd40906;hp=b0d4cba728bea3e99e1a0d6ef171ff4f51c9886a;hpb=37a5400d10d8d110f96b7a60700c381072182fba;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index b0d4cba72..05cf06dd1 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -55,7 +55,6 @@
proof
-
@@ -90,6 +89,16 @@
+
+
@@ -97,26 +106,39 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -131,11 +153,12 @@
+
+
-
+
nat_ind
@@ -144,7 +167,7 @@
-
-
-
@@ -276,7 +299,7 @@
-
-
@@ -343,8 +366,7 @@
-
-
+
+
+
+
+ letin
+
+ let
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+ rw_step
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -407,7 +469,17 @@
-
+
+
+
+ app
+
+
+
+
+
+
+
@@ -424,13 +496,33 @@
+
+
+
+
+
+
+ .
+
+
+
+
+
previous
-
+
+
+
+
+
+ .
+
+
+
@@ -451,7 +543,15 @@
-
+
+
+
+
+
+ .
+
+
+