1) theory_pres.xsl: syntax error
<xsl:template match="THEOREM|LEMMA|COROLLARY|FACT">
<h4><xsl:value-of select="name(.)"/><xsl:text> </xsl:text><a href="{@uri}"><xsl:value-of select="@name"/></a></h4>
<ENTITY uri="{@uri}" type="1"/>
<xsl:template match="THEOREM|LEMMA|COROLLARY|FACT">
<h4><xsl:value-of select="name(.)"/><xsl:text> </xsl:text><a href="{@uri}"><xsl:value-of select="@name"/></a></h4>
<ENTITY uri="{@uri}" type="1"/>
<xsl:template match="AXIOM|DEFINITION|VARIABLE">
<h4><xsl:value-of select="name(.)"/><xsl:text> </xsl:text><a href="{@uri}"><xsl:value-of select="@name"/></a></h4>
<xsl:template match="AXIOM|DEFINITION|VARIABLE">
<h4><xsl:value-of select="name(.)"/><xsl:text> </xsl:text><a href="{@uri}"><xsl:value-of select="@name"/></a></h4>