X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fproofs.xsl;h=69c8936130bcaf605a2f28956b438226c9cacec5;hb=911199dc198f34ae6a024d81ff62c78e2e97f7db;hp=306b48fbc3d7821bdbae9f5f851a95f7c846e796;hpb=d4b90e232867dd3cda85b7707ac456b547539a06;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 306b48fbc..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 @@
-
-
-
-
-
-
-
-