X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fdrop_coercions.xsl;h=b31160eab490d350a6b0d24f10604d17a33cc855;hb=f41a5585a648d57e4d8a24d664b0a5ce5d591148;hp=9731d6601a29df990ecd9413884d5b0a33e74f2c;hpb=0b1e5fb100fe57fb53f98038570b1fae191d331d;p=helm.git
diff --git a/helm/style/drop_coercions.xsl b/helm/style/drop_coercions.xsl
index 9731d6601..b31160eab 100644
--- a/helm/style/drop_coercions.xsl
+++ b/helm/style/drop_coercions.xsl
@@ -118,6 +118,60 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+