]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/drop_coercions.xsl
----------------------------------------------------------------------
[helm.git] / helm / style / drop_coercions.xsl
index 688d3974b333c921d4fa657ed8ca13c2389b6805..a259955dd305a38584e7909023846835fc6962ad 100644 (file)
 
 
 </xsl:stylesheet>
-
-
-
-