X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=47baf518d577d31d1ef02159c332d07e428265a2;hb=5868bef6637af919fbb48a83c24268bb85bdef6a;hp=6393d272280229930af40d0345ec8db7c27e0d84;hpb=5d9c64e007c6eff9447b2ef67d2a680c86c2775d;p=helm.git
diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index 6393d2722..47baf518d 100644
--- a/helm/style/arith.xsl
+++ b/helm/style/arith.xsl
@@ -183,4 +183,107 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+