<xsl:variable name="AnnotationsUri"><xsl:value-of select="concat($BaseCICURI,'.ann')"/></xsl:variable>
<xsl:variable name="InnerTypesUrl"><xsl:call-template name="makeURL4InnerTypes"><xsl:with-param name="uri" select="$InnerTypesUri"/></xsl:call-template></xsl:variable>
+<xsl:variable name="ConstantTypeUrl"><xsl:call-template name="makeURL4InnerTypes"><xsl:with-param name="uri" select="$BaseCICURI"/></xsl:call-template></xsl:variable>
<xsl:variable name="AnnotationsUrl"><xsl:call-template name="URLofURI4getter"><xsl:with-param name="uri" select="$AnnotationsUri"/></xsl:call-template></xsl:variable>
+
<!-- WARNING: Using lazy evaluation: $CICURI.* may not exist, but -->
<!-- document() is called only by need!!! -->
<xsl:variable name="InnerTypes" select="document($InnerTypesUrl)"/>
<xsl:include href="headercontent.xsl"/>
<xsl:include href="proofs.xsl"/>
-<xsl:include href="inductive.xsl"/>
<xsl:variable name="showproof" select="0"/>
</xsl:stylesheet>
+
+
+
+
+
+
+
+