X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=5c46c390f5187579052df6a58800ddd2b1350163;hb=8f89cdd08d9ee0a243cf84201bf42e5503759ee3;hp=47baf518d577d31d1ef02159c332d07e428265a2;hpb=4668559563eede2f325545a100ff82b774085ed0;p=helm.git
diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index 47baf518d..5c46c390f 100644
--- a/helm/style/arith.xsl
+++ b/helm/style/arith.xsl
@@ -36,6 +36,39 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+