X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fparams.xsl;h=2a0a252e3bb3218beefee7596a09d9542fa48373;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=b4d83bce8f7d83e2c3fffa86c855741badf676c5;hpb=2f04f7b924920715beb0c0326ca0db101ebe06ff;p=helm.git

diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index b4d83bce8..2a0a252e3 100644
--- a/helm/style/params.xsl
+++ b/helm/style/params.xsl
@@ -309,7 +309,8 @@
      <xsl:when test="($target = 1) and ($noparams != 0)">
       <m:apply>
       <m:csymbol>app</m:csymbol>
-      <xsl:apply-templates select="."/>
+<!-- Mancava modalita': sono qall'interno di un termine -->
+      <xsl:apply-templates select="." mode="pure"/>
       <xsl:call-template name="printparam"><xsl:with-param name="noleft" select="$noparams"/></xsl:call-template>
       </m:apply>
      </xsl:when>
@@ -320,7 +321,15 @@
       </xsl:when>
       <xsl:otherwise>
        <xsl:if test="$target = 1">
-        <xsl:apply-templates select="."/>
+<!-- Mancava modalita': con target=1 posso provenire sia da un oggetto che da un termine -->
+        <xsl:choose>
+        <xsl:when test="string($binder) = &quot;LAMBDA&quot;">
+         <xsl:apply-templates select="." mode="pure"/>
+        </xsl:when>
+        <xsl:otherwise>
+         <xsl:apply-templates select="."/>
+        </xsl:otherwise>
+        </xsl:choose>
        </xsl:if>
       </xsl:otherwise>
       </xsl:choose>
@@ -362,9 +371,3 @@
 </xsl:template>
 
 </xsl:stylesheet> 
-
-
-
-
-
-