X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent.xsl;fp=helm%2Fstyle%2Fcontent.xsl;h=a8d2ae856004fb55d83d3324558f1d488632d09f;hb=f079a5948394ada2f2aba69270869058111bb3fe;hp=afeb75493ff8a0f59de6e1f240157d98b4a33981;hpb=638ea30787cd4b14a27fabac36c1319bc6ab14b7;p=helm.git

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index afeb75493..a8d2ae856 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -79,6 +79,19 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
     </m:lambda>
 </xsl:template>
 
+<xsl:template match="LETIN" mode="pure">
+    <m:apply helm:xref="{@id}">
+     <m:csymbol>letin</m:csymbol>
+     <m:bvar>
+      <m:ci>
+       <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="letintarget/@binder"/></xsl:with-param></xsl:call-template>
+      </m:ci>
+     </m:bvar>
+     <xsl:apply-templates select="*[1]" mode="noannot"/>
+     <xsl:apply-templates select="letintarget/*[1]" mode="noannot"/>
+    </m:apply>
+</xsl:template>
+
 <xsl:template match="PROD" mode="pure">
     <m:apply helm:xref="{@id}">
      <xsl:choose>