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