]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/inductive.xsl
----------------------------------------------------------------------
[helm.git] / helm / style / inductive.xsl
index f9b535f1e72e43a60299b80ed5da5494d51064ca..ae225272df0ed758423fcac63b8ba34550e96017 100644 (file)
  </xsl:choose>
 </xsl:template>
 
-
 </xsl:stylesheet>
-