X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=69c8936130bcaf605a2f28956b438226c9cacec5;hb=911199dc198f34ae6a024d81ff62c78e2e97f7db;hp=7457921334bdc4fa16a3199e714b0c785b18ae40;hpb=e4679b76b6797b253209158fb57adba636fb899f;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 745792133..69c893613 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -34,36 +34,175 @@
xmlns:m="http://www.w3.org/1998/Math/MathML"
xmlns:helm="http://www.cs.unibo.it/helm">
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
+
+ yes
+
+
+
+
+
+
+
+ proof
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ yes
+
+
+
-
+
proof
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ yes
+
+
+
+
+
+
+ proof
+
+ let_in
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ let_in
+
+
+
+
+
+
+
+
+
+
+
+
@@ -72,8 +211,9 @@
proof
-
-
+
+
+
@@ -92,348 +232,32 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- eq_chain
-
-
-
-
-
-
-
-
-
-
- rw_step
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- rewrite_and_apply
-
- rw_step
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- letin
-
- let
-
-
-
-
-
-
-
-
-
-
-
-
- rewrite_and_apply
-
- rw_step
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- letin
-
-
-
-
-
- rewrite_and_apply
-
- rw_step
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- false_ind
- cic:/Coq/Init/Logic/False_ind.con
-
-
-
-
-
-
- and_ind
-
-
-
-
-
-
-
-
-
-
-
-
-
- full_or_ind
-
-
-
- left_case
-
-
-
-
-
-
-
-
-
-
-
- right_case
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- or_ind
-
-
-
-
-
-
-
-
-
-
-
- ex_ind
-
-
-
-
-
-
-
-
-
+
-
+
+
- letin
-
- let
+ let_in
+
-
+
-
-
-
+
+
+
@@ -441,32 +265,6 @@
-
-
-
-
- rw_step
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -511,23 +309,53 @@
-
+
+
+
-
-
-
+
+
+
+
+
+
+
+ yes
+
+
+
+
+
+ *
+
+
+
+
+
letin1
-
+
+
+
+
+
+ yes
+
+
+
+
+
+
+
app
@@ -566,21 +394,76 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ yes
+
+
+
+
+
+
+ let
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -591,14 +474,23 @@
+
+
+
+
+ yes
+
+
+
-
+
previous
-
+
@@ -614,8 +506,15 @@
+
+
+
+ yes
+
+
+
-
+
@@ -625,7 +524,7 @@
-
+
@@ -658,27 +557,5 @@
-
-