+<!-- WARNING: Using lazy evaluation: $CICURI.* may not exist, but -->
+<!-- document() is called only by need!!! -->
+<xsl:variable name="InnerTypes" select="document($InnerTypesUrl)"/>
+<xsl:variable name="CICAnnotations" select="document($AnnotationsUrl)"/>
+
+<xsl:include href="headercontent.xsl"/>
+<xsl:include href="proofs.xsl"/>
+<xsl:include href="inductive.xsl"/>
+
+<xsl:variable name="showproof" select="0"/>
+
+</xsl:stylesheet>