X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fdrop_coercions.xsl;h=f2bc44d0d7f43c2ec8e6a6f16c21a307de71a1f6;hb=5868bef6637af919fbb48a83c24268bb85bdef6a;hp=688d3974b333c921d4fa657ed8ca13c2389b6805;hpb=3000014050e8a374a7efd8d45cf0402b7a9acf51;p=helm.git
diff --git a/helm/style/drop_coercions.xsl b/helm/style/drop_coercions.xsl
index 688d3974b..f2bc44d0d 100644
--- a/helm/style/drop_coercions.xsl
+++ b/helm/style/drop_coercions.xsl
@@ -34,7 +34,7 @@
-getxml?uri=
+
@@ -118,6 +118,41 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -128,7 +163,3 @@
-
-
-
-