X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fdrop_coercions.xsl;h=b31160eab490d350a6b0d24f10604d17a33cc855;hb=719eb6cd26fffa6de3ca194de310a58fd4834558;hp=a259955dd305a38584e7909023846835fc6962ad;hpb=5d9c64e007c6eff9447b2ef67d2a680c86c2775d;p=helm.git
diff --git a/helm/style/drop_coercions.xsl b/helm/style/drop_coercions.xsl
index a259955dd..b31160eab 100644
--- a/helm/style/drop_coercions.xsl
+++ b/helm/style/drop_coercions.xsl
@@ -34,7 +34,7 @@
-getxml?uri=
+
@@ -118,6 +118,60 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+