X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=69c8936130bcaf605a2f28956b438226c9cacec5;hb=911199dc198f34ae6a024d81ff62c78e2e97f7db;hp=b3596889174ce264678da62bc43b315c02b01599;hpb=5d9c64e007c6eff9447b2ef67d2a680c86c2775d;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index b35968891..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,14 +211,18 @@
proof
-
-
+
+
+
-
+
+
@@ -89,292 +232,32 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- 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
+
-
+
-
-
-
+
+
+
@@ -382,44 +265,97 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
- rw_step
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+ proof
-
+ side_proof
-
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+ yes
+
+
+
+
+
+ *
+
+
+
+
+
letin1
-
+
+
+
+
+
+ yes
+
+
+
+
+
+
+
app
@@ -458,38 +394,103 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ yes
+
+
+
+
+
+
+ let
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
.
-
+
+
+
+
+
+ yes
+
+
+
-
+
previous
+
-
+
@@ -505,10 +506,15 @@
+
+
+
+ yes
+
+
+
-
-
-
+
@@ -518,12 +524,12 @@
-
-
-
-
- .
-
+
+
+
+
+ .
+
@@ -551,27 +557,5 @@
-
-