<xsl:template match="Appl">
<xsl:call-template name="op"/>
- <xsl:apply-templates/>
+ <xsl:call-template name="mk_terms"/>
<xsl:call-template name="cp"/>
<xsl:call-template name="fs"/>
</xsl:template>
<xsl:template match="Abst">
<xsl:call-template name="lambda"/>
- <xsl:value-of select="@name"/>
- <xsl:call-template name="cn"/>
- <xsl:apply-templates/>
- <xsl:call-template name="fs"/>
+ <xsl:call-template name="mk_binder">
+ <xsl:with-param name="sep-seq">
+ <xsl:call-template name="cn"/>
+ </xsl:with-param>
+ </xsl:call-template>
</xsl:template>
<xsl:template match="Abbr">
<xsl:call-template name="delta"/>
- <xsl:call-template name="binder"/>
- <xsl:call-template name="eq"/>
- <xsl:apply-templates/>
- <xsl:call-template name="fs"/>
+ <xsl:call-template name="mk_binder">
+ <xsl:with-param name="sep-seq">
+ <xsl:call-template name="eq"/>
+ </xsl:with-param>
+ </xsl:call-template>
</xsl:template>
<xsl:template match="Void">
<xsl:call-template name="chi"/>
- <xsl:call-template name="binder"/>
- <xsl:apply-templates/>
+ <xsl:call-template name="ob"/>
+ <xsl:call-template name="mk_names"/>
+ <xsl:call-template name="cb"/>
<xsl:call-template name="fs"/>
-
</xsl:template>
</xsl:stylesheet>