X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=f61cbe6d90d1ea9fece3bf22847b6a25ab8a357f;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=51a0f0d52a5abc6b91eff213af41aeaf01049061;hpb=22f6a8f49ed4015bf3c36f0036041932711248de;p=helm.git diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl index 51a0f0d52..f61cbe6d9 100644 --- a/helm/style/proofs.xsl +++ b/helm/style/proofs.xsl @@ -39,10 +39,39 @@ + - - + + + + + + + + + + + + yes + + + + + + + proof + + + + + + + + + + + @@ -50,12 +79,21 @@ + + + + yes + + + - + proof - + + + @@ -65,7 +103,7 @@ - + @@ -73,13 +111,18 @@ proof - + + + - + + @@ -90,7 +133,7 @@ @@ -151,12 +195,293 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + eq_chain + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + full_or_ind - + + + left_case @@ -343,8 +669,9 @@ or_ind - + + + @@ -433,6 +760,7 @@ + - - - + + + + + + + + yes + + + + + + * + + + + + letin1 - + + + + + + yes + + + + + + + app @@ -508,12 +879,22 @@ - - - let - - - + + + + + + yes + + + + + + let + + + + @@ -530,8 +911,16 @@ + + + + + yes + + + - + previous @@ -553,8 +942,15 @@ + + + + yes + + + - +