X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=8ec9c6a3ee3d78aa90c9770d2797399746ba5208;hb=cc1698821a40a29b02d7f5c5f60ab63542511d32;hp=e436df28c5cc6a72c62b40a765a803f88a19df8f;hpb=5b20300cc03102ef30de65eda421c22727244475;p=helm.git
diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index e436df28c..8ec9c6a3e 100644
--- a/helm/style/arith.xsl
+++ b/helm/style/arith.xsl
@@ -36,6 +36,39 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -135,7 +168,7 @@
-
+
@@ -151,7 +184,7 @@
-
+
@@ -159,7 +192,7 @@
-
+
@@ -185,7 +218,7 @@
-
+
@@ -193,7 +226,7 @@
-
+
@@ -204,13 +237,13 @@
-
+
0
-
+
@@ -218,26 +251,32 @@
+
+ 1
+
+
-
+
-
+
-
+
@@ -245,7 +284,7 @@
-
+
@@ -262,7 +301,7 @@
-
+