<xsl:apply-templates mode="pure" select="$InnerTypes/InnerTypes/TYPE[@of=$id]/*"/>
</m:apply>
<!-- <xsl:apply-templates select="$proof" mode="noannot"/> -->
<xsl:apply-templates mode="pure" select="$InnerTypes/InnerTypes/TYPE[@of=$id]/*"/>
</m:apply>
<!-- <xsl:apply-templates select="$proof" mode="noannot"/> -->