X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=8ec9c6a3ee3d78aa90c9770d2797399746ba5208;hb=130d534f97ed4701010dc41665fa0627ac69f983;hp=47baf518d577d31d1ef02159c332d07e428265a2;hpb=4668559563eede2f325545a100ff82b774085ed0;p=helm.git
diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index 47baf518d..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 @@
-
+
@@ -185,7 +218,7 @@
-
+
@@ -193,7 +226,7 @@
-
+
@@ -204,13 +237,13 @@
-
+
0
-
+
@@ -218,7 +251,7 @@
-
+
1
@@ -228,7 +261,7 @@
+and @uri='cic:/Coq/ZArith/fast_integer/positive.ind' and @noConstr='1']">
@@ -236,14 +269,14 @@ and @uri='cic:/Coq/ZArith/fast_integer/fast_integers/positive.ind' and @noConstr
+and @uri='cic:/Coq/ZArith/fast_integer/positive.ind' and @noConstr='2']">
-
+