X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=5a34d8a06f710fea23eb3a18d494e23174931bc1;hb=ae326f646ef4c01b43d6da04201b427d1e175400;hp=6f23e3254debc8cc2498f8d98d9e30b66dc3dfb1;hpb=26f5337108946df050f07c68ebe9bc07b1fde173;p=helm.git diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl index 6f23e3254..5a34d8a06 100644 --- a/helm/style/proofs.xsl +++ b/helm/style/proofs.xsl @@ -51,11 +51,11 @@ - + proof - + @@ -68,17 +68,21 @@ - + proof - + + - + + @@ -88,42 +92,380 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + eq_chain + + + + + + + + + + + - nat_ind - - + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + - - + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + - nat_ind - - + diseq_chain + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + - rw_step - + + + + - 7"> @@ -135,7 +477,10 @@ - + + + + @@ -169,7 +514,10 @@ - + + + + @@ -192,8 +540,11 @@ rw_step - - + + + + + @@ -207,9 +558,19 @@ + + + + false_ind + cic:/Coq/Init/Logic/False_ind.con + + + - - - - or_ind - - - - - + + + + + full_or_ind + + + + left_case + + + + + + + + + + + + right_case + + + + + + + + + + + + + + + or_ind + + + + + + + - + + + + + + + letin + + let + + + + + + + + + + + + - - - - - - - - + + + + + + + + + rw_step + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + proof + + + side_proof + + + + + + + + + - + letin1 @@ -283,7 +775,7 @@ - + letin @@ -297,7 +789,17 @@ - + + + + app + + + + + + + @@ -314,13 +816,34 @@ + + + + + + + . + + + + + - + previous - + + + + + + + . + + + @@ -330,9 +853,7 @@ - - - + @@ -341,7 +862,15 @@ - + + + + + + . + + + @@ -349,6 +878,23 @@ + + + + + + + + + + + + + + + + +