X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=69c8936130bcaf605a2f28956b438226c9cacec5;hb=911199dc198f34ae6a024d81ff62c78e2e97f7db;hp=b0d4cba728bea3e99e1a0d6ef171ff4f51c9886a;hpb=37a5400d10d8d110f96b7a60700c381072182fba;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index b0d4cba72..69c893613 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -34,37 +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
+
+
+
+
+
+
+
+
+
+
+
+
@@ -73,14 +211,18 @@
proof
-
-
+
+
+
-
+
+
@@ -90,300 +232,130 @@
-
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+ let_in
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
-
-
-
- nat_ind
-
-
-
-
-
-
-
-
-
- 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
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+ proof
+
+
+ side_proof
+
+
+
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+ yes
+
+
+
+
+
+ *
+
+
+
+
+
letin1
-
+
+
+
+
+
+ yes
+
+
+
+
+
+
+
app
@@ -407,30 +379,125 @@
-
+
+
+
+ app
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ yes
+
+
+
+
+
+
+ let
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ .
+
+
+
+
+
+
+
+ yes
+
+
+
-
+
previous
-
+
+
+
+
+
+
+ .
+
+
+
@@ -439,10 +506,15 @@
+
+
+
+ yes
+
+
+
-
-
-
+
@@ -451,7 +523,15 @@
-
+
+
+
+
+
+ .
+
+
+
@@ -460,6 +540,8 @@
+
+
@@ -475,33 +557,5 @@
-
-
-
-
-
-
-
-