X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Finductive.xsl;h=f9b535f1e72e43a60299b80ed5da5494d51064ca;hb=c5d44ddea495d6f20c05267e0ebd158972a21987;hp=5211c000c8e3de2f684f0571d97d9e6e3e10939a;hpb=0a3a47d4b47605d55010bc2ef1175e8562bbdec2;p=helm.git

diff --git a/helm/style/inductive.xsl b/helm/style/inductive.xsl
index 5211c000c..f9b535f1e 100644
--- a/helm/style/inductive.xsl
+++ b/helm/style/inductive.xsl
@@ -36,7 +36,8 @@
 
 
 <xsl:template mode="inductive" match="APPLY">
- <xsl:param name="inductive_def_uri" select="/.."/>
+ <xsl:param name="inductive_def_uri" select="''"/>
+ <xsl:param name="inductive_def" select="/.."/>
  <xsl:param name="inductive_def_index" select="1"/>
  <xsl:param name="inductive_def_name" select="''"/>
  <xsl:param name="section_params" select="0"/>
@@ -63,9 +64,6 @@
     <xsl:when test="string($argsOK) = 'true'">
      <!-- arguments are in the expected form: we create a
           "by_induction" content element -->
-     <!-- inductive_def contains the inductive definition -->
-     <xsl:variable name="inductive_def" 
-      select="document(concat(string($absPath),$inductive_def_uri))/InductiveDefinition"/>
      <!-- no_params is the number of paramters in square brackets -->
      <xsl:variable name="no_params" 
       select="$inductive_def/@noParams"/>