X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent.xsl;h=ae4a1a812c27c94909f768f3a1e42f42296ba423;hb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;hp=24b97e6e6f738697a19dcb14800b8ab77a5628ec;hpb=aa87f28d3a96456e7cec9493c6533e5c146812e8;p=helm.git

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 24b97e6e6..ae4a1a812 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -240,7 +240,7 @@ della rappresentazione interna.
      <xsl:variable name="findex"><xsl:value-of select="@noFun"/></xsl:variable>
      <m:csymbol>fix</m:csymbol>
      <m:ci><xsl:value-of select="FixFunction[position()=number($findex)+1]/@name"/></m:ci>
-     <xsl:apply-templates mode="noannot" select="*"/>
+     <xsl:apply-templates mode="pure" select="*"/>
     </m:apply>
 </xsl:template>
 
@@ -249,7 +249,7 @@ della rappresentazione interna.
      <xsl:variable name="findex"><xsl:value-of select="@noFun"/></xsl:variable>
      <m:csymbol>cofix</m:csymbol>
      <m:ci><xsl:value-of select="CofixFunction[position()=number($findex)+1]/@name"/></m:ci>
-     <xsl:apply-templates mode="noannot" select="*"/>
+     <xsl:apply-templates mode="pure" select="*"/>
     </m:apply>
 </xsl:template>