X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=0751b123c530f65ce246dc098430de58d4a3f24e;hb=09aa799947c84148221af82e94e911adea8fd1e6;hp=d06a0f2523606cd0fd2a661c9bdae4a309d41cac;hpb=f4d99607a3d6b6b2013b3a951384dc6630fa1ea3;p=helm.git
diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index d06a0f252..0751b123c 100644
--- a/helm/style/arith.xsl
+++ b/helm/style/arith.xsl
@@ -36,6 +36,39 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -183,15 +216,107 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+
+
+
+
+
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+