X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=5c46c390f5187579052df6a58800ddd2b1350163;hb=9a22b61ab5653633c097f1269d7b05012d17b9e4;hp=73616e353dda73bc167fbcb9ca015e4d794e6821;hpb=d88218090d8607c08455ad3f1791441c7b09f49a;p=helm.git
diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index 73616e353..5c46c390f 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']">
-
+