X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=dbcfabaa31ae67ac9ba1a47771de7a024e000ec6;hb=000ee25879c192864cfaa0ebc27cc91a896378df;hp=9fd99d5d1f428bae49b03611cab694aee57154b9;hpb=5b20300cc03102ef30de65eda421c22727244475;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 9fd99d5d1..dbcfabaa3 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -34,36 +34,174 @@
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 +210,18 @@
proof
-
-
+
+
+
-
+
+
@@ -89,292 +231,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 +264,97 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
- rw_step
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+ proof
-
+ side_proof
-
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+ yes
+
+
+
+
+
+ *
+
+
+
+
+
letin1
-
+
+
+
+
+
+ yes
+
+
+
+
+
+
+
app
@@ -458,21 +393,75 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ yes
+
+
+
+
+
+
+ let
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -483,14 +472,23 @@
+
+
+
+
+ yes
+
+
+
-
+
previous
-
+
@@ -506,8 +504,15 @@
+
+
+
+ yes
+
+
+
-
+
@@ -517,7 +522,7 @@
-
+
@@ -550,27 +555,5 @@
-
-