X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=f61cbe6d90d1ea9fece3bf22847b6a25ab8a357f;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=0651f65ec6cdb2224b864010bd8a5025953cbee2;hpb=0b1e5fb100fe57fb53f98038570b1fae191d331d;p=helm.git diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl index 0651f65ec..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 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + eq_chain + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + + diseq_chain + + + + + + + + + + + + + + full_or_ind - + + + left_case @@ -344,8 +669,9 @@ or_ind - + + + @@ -434,6 +760,7 @@ + - - - + + + + + + + + yes + + + + + + * + + + + + letin1 - + + + + + + yes + + + + + + + app @@ -509,12 +879,22 @@ - - - let - - - + + + + + + yes + + + + + + let + + + + @@ -531,8 +911,16 @@ + + + + + yes + + + - + previous @@ -554,8 +942,15 @@ + + + + yes + + + - +