X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_init.xsl;h=46fc61b249fa71842a62649809165a69ed6896c4;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=26ddf68d2c83eff3f86a8f1481c6c2a57490cf56;hpb=b564f0671c133928e372e352d972a7663b6a9136;p=helm.git diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl index 26ddf68d2..46fc61b24 100644 --- a/helm/style/html_init.xsl +++ b/helm/style/html_init.xsl @@ -27,6 +27,121 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ??? + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ??? + + + + + + + + + + + @@ -34,57 +149,59 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + |m:geq|m:gt|m:plus|m:times|m:divide]"> + ( - - - - + + + + + - - - - - + + + + + + + + ) @@ -92,32 +209,42 @@ - - - + - - - - - - - - - + + + + + + + + + + + + + + ( - - - - + + + + + - - - - + + + + + + + + ) @@ -126,35 +253,43 @@ - - - - - - - - - - - Ø - - - + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + - - $ - + + + + + + + + : @@ -167,49 +302,13 @@ + |m:geq|m:gt|m:plus|m:times|m:divide]"> - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ( @@ -220,16 +319,20 @@ - - - - - - - - - - + + + + + + + + + + + + + + @@ -246,19 +349,23 @@ - - - + - - - - - - - - - + + + + + + + + + + + + + + @@ -277,14 +384,20 @@ - - - - - - - - - + + + + + + + + + + + + + + @@ -300,21 +413,25 @@ - + - - - - - - - - - - Ø - - + + + + + + + + + + + + + + + + @@ -322,22 +439,26 @@ - - - + - - - - - - - $ - + + + + + + + + + + + + + + : @@ -386,5 +507,3 @@ - -