X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=306b48fbc3d7821bdbae9f5f851a95f7c846e796;hb=d4b90e232867dd3cda85b7707ac456b547539a06;hp=96d1ee7de532142ee3ce9ac18f7e4c6644950351;hpb=0e9cfa8af4ac6569e350dac51b8f8482d124f71a;p=helm.git
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 96d1ee7de..306b48fbc 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -55,6 +55,7 @@
proof
+
@@ -72,6 +73,7 @@
proof
+
@@ -88,6 +90,46 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -100,19 +142,30 @@
-
+
+
rw_step
@@ -124,7 +177,10 @@
@@ -208,6 +264,16 @@
+
+
+
+ false_ind
+ cic:/Coq/Init/Logic/False_ind.con
+
+
+
-
- or_ind
-
-
-
-
-
+
+
+
+
+ full_or_ind
+
+
+
+ left_case
+
+
+
+
+
+
+
+
+
+
+
+ right_case
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ or_ind
+
+
+
+
+
+
+
+
+
+
@@ -350,6 +459,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+