X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=73616e353dda73bc167fbcb9ca015e4d794e6821;hb=5a7485a8f24e457fd4cc091f24c48f3cb8d11fca;hp=e436df28c5cc6a72c62b40a765a803f88a19df8f;hpb=5b20300cc03102ef30de65eda421c22727244475;p=helm.git diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl index e436df28c..73616e353 100644 --- a/helm/style/arith.xsl +++ b/helm/style/arith.xsl @@ -36,6 +36,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -185,7 +218,7 @@ - + @@ -193,7 +226,7 @@ - + @@ -210,7 +243,7 @@ - + @@ -218,19 +251,25 @@ + + 1 + + - + - + @@ -245,7 +284,7 @@ - + @@ -262,7 +301,7 @@ - +