<xsl:param name="inductive_def_index" select="1"/>
<xsl:param name="inductive_def_name" select="''"/>
<xsl:param name="section_params" select="0"/>
<!-- expected_args_type contains the types of the arguments expected by
the induction principle -->
<xsl:param name="inductive_def_index" select="1"/>
<xsl:param name="inductive_def_name" select="''"/>
<xsl:param name="section_params" select="0"/>
<!-- expected_args_type contains the types of the arguments expected by
the induction principle -->