<xsl:variable name="CICAnnotations" select="document(concat($absPath,$CICURI,'.ann'))"/>
<xsl:import href="annotatedcont.xsl"/>
-<xsl:include href="contentlib.xsl"/> <!-- FG -->
-<xsl:include href="basic.xsl"/>
-<xsl:include href="arith.xsl"/> <!-- FG -->
-<xsl:include href="set.xsl"/>
-<xsl:include href="reals.xsl"/>
+<xsl:include href="headercontent.xsl"/>
<xsl:include href="proofs.xsl"/>
<xsl:variable name="showproof" select="0"/>