X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fdrop_coercions.xsl;h=b31160eab490d350a6b0d24f10604d17a33cc855;hb=40ee1eafdc2e61e9dece39642474a64fc9ce8be5;hp=f2bc44d0d7f43c2ec8e6a6f16c21a307de71a1f6;hpb=3aa2fd56797217a73b59e25bbe961dbc8c08bb2f;p=helm.git
diff --git a/helm/style/drop_coercions.xsl b/helm/style/drop_coercions.xsl
index f2bc44d0d..b31160eab 100644
--- a/helm/style/drop_coercions.xsl
+++ b/helm/style/drop_coercions.xsl
@@ -153,6 +153,25 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+