X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=8ec9c6a3ee3d78aa90c9770d2797399746ba5208;hb=cc1698821a40a29b02d7f5c5f60ab63542511d32;hp=d06a0f2523606cd0fd2a661c9bdae4a309d41cac;hpb=f4d99607a3d6b6b2013b3a951384dc6630fa1ea3;p=helm.git
diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index d06a0f252..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 @@
-
+
@@ -183,15 +216,107 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+
+
+
+
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+