X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Farith.xsl;h=8ec9c6a3ee3d78aa90c9770d2797399746ba5208;hb=cc1698821a40a29b02d7f5c5f60ab63542511d32;hp=73616e353dda73bc167fbcb9ca015e4d794e6821;hpb=d88218090d8607c08455ad3f1791441c7b09f49a;p=helm.git
diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index 73616e353..8ec9c6a3e 100644
--- a/helm/style/arith.xsl
+++ b/helm/style/arith.xsl
@@ -56,7 +56,7 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
-
+
@@ -168,7 +168,7 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
-
+
@@ -184,7 +184,7 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
-
+
@@ -192,7 +192,7 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
-
+
@@ -218,7 +218,7 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
-
+
@@ -226,7 +226,7 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
-
+
@@ -237,13 +237,13 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
-
+
0
-
+
@@ -251,7 +251,7 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
-
+
1
@@ -261,7 +261,7 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
+and @uri='cic:/Coq/ZArith/fast_integer/positive.ind' and @noConstr='1']">
@@ -269,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']">
-
+