-<!--xsl:template match="LAMBDA" mode="pure">
- <m:lambda helm:xref="{decl/@id}">
- <m:bvar>
- <m:ci>
- <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="decl/@binder"/></xsl:with-param></xsl:call-template>
- </m:ci>
- <m:type>
- <xsl:apply-templates select="decl/*[1]" mode="noannot"/>
- </m:type>
- </m:bvar>
- <xsl:apply-templates select="target/*[1]" mode="noannot"/>
- </m:lambda>
-</xsl:template-->
-
-<!--xsl:template match="LAMBDA" mode="pure">
- <xsl:for-each select="decl">
- <m:lambda helm:xref="{@id}">
- <m:bvar>
- <m:ci>
- <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="@binder"/></xsl:with-param></xsl:call-template>
- </m:ci>
- <m:type>
- <xsl:apply-templates select="*[1]" mode="noannot"/>
- </m:type>
- </m:bvar>
- </m:lambda>
- </xsl:for-each>
- <xsl:apply-templates select="target/*[1]" mode="noannot"/-->
- <!--xsl:for-each select="decl">
- </m:lambda>
- </xsl:for-each-->
-<!--/xsl:template-->