<!-- Proof objects -->
-<!-- <xsl:key name="typeid" use="@of" match="TYPE"/> -->
<xsl:key name="typeid" use="@of" match="TYPE"/>
<!-- These elements do not have inner type -->
</m:ci>
</m:bvar>
<xsl:apply-templates mode="noannot" select="*[2]"/>
- <xsl:apply-templates mode="proof_transform" select="*[1]/target/*[1]"/>
+ <xsl:apply-templates mode="lambda_prop" select="*[1]/*[2]"/>
</m:apply>
</xsl:when>
<xsl:otherwise>
</xsl:choose>
</xsl:template>
-
<xsl:template name="gen_let">
<xsl:param name="init_pos" select="1"/>
<xsl:param name="from" select="0"/>