Complete management of inductive types.

[helm.git] / helm / style / rootcontent.xsl

diff --git a/helm/style/rootcontent.xsl b/helm/style/rootcontent.xsl
index 9e0c82ab38f942e574811e9f215c6fd6adeef596..8f34bae075c00bfbbc734fc58c4aa4b59de8a453 100644 (file)
--- a/helm/style/rootcontent.xsl
+++ b/helm/style/rootcontent.xsl
@@ -58,6 +58,7 @@
 <xsl:import href="annotatedcont.xsl"/>
 <xsl:include href="headercontent.xsl"/>
 <xsl:include href="proofs.xsl"/>
+<xsl:include href="inductive.xsl"/>
 
 <xsl:variable name="showproof" select="0"/>