]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/content.xsl
Notation for if then else.
[helm.git] / helm / style / content.xsl
index f2f7b713a5e1bef33f48793fcdc74cdbfbe81a59..1be668bb0502ecfd3f1a61ccf81adfeb2a6f381b 100644 (file)
@@ -37,6 +37,7 @@
                               xmlns:helm="http://www.cs.unibo.it/helm">
 
 <xsl:include href="params.xsl"/>
+<xsl:include href="ite.xsl"/>
 <!-- adesso sono preprocessate -->
 <!-- <xsl:include href="coercions.xsl"/> -->