<m:csymbol>side_proof</m:csymbol>
</xsl:otherwise>
</xsl:choose>
- <xsl:apply-templates mode="proof_transform" select="."/>
+ <xsl:apply-templates mode="proof_transform" select="$proof"/>
<xsl:apply-templates mode="pure" select="$InnerTypes/InnerTypes/TYPE[@of=$id]/*"/>
</m:apply>
<!-- <xsl:apply-templates select="$proof" mode="noannot"/> -->