X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=47baf518d577d31d1ef02159c332d07e428265a2;hb=0e25ed1f31b0dd197638e5d212f65d6055656e79;hp=d06a0f2523606cd0fd2a661c9bdae4a309d41cac;hpb=f4d99607a3d6b6b2013b3a951384dc6630fa1ea3;p=helm.git
diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index d06a0f252..47baf518d 100644
--- a/helm/style/arith.xsl
+++ b/helm/style/arith.xsl
@@ -183,15 +183,107 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+
+
+
+
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+