X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=5c46c390f5187579052df6a58800ddd2b1350163;hb=a2dcdb25b6efbd2623913ecf8f0f7ad3fb60bc75;hp=e436df28c5cc6a72c62b40a765a803f88a19df8f;hpb=5b20300cc03102ef30de65eda421c22727244475;p=helm.git
diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index e436df28c..5c46c390f 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 @@
-
+