Major interface improvements.

[helm.git] / helm / on-line / xslt / metadataControl.xsl

diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl
index c893437b3bbc860168435e36bf24853a42ec3904..de3ed9890cad5c0e81198323d4f6a1774a1e0da5 100644 (file)
--- a/helm/on-line/xslt/metadataControl.xsl
+++ b/helm/on-line/xslt/metadataControl.xsl
@@ -13,31 +13,4 @@
 
 <xsl:include href="metadataLib.xsl"/>
 
-<xsl:template match="InductiveDefinition">
- <xsl:for-each select="InductiveType">
-  <xsl:variable name="CICURIInductiveType" select="concat($CICURI,'#xpointer(1/',position())"/>
-  <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
-  <xsl:call-template name="makelink">
-   <xsl:with-param name="name" select="@name"/>
-   <xsl:with-param name="CICURI" select="concat($CICURIInductiveType,')')"/>
-  </xsl:call-template>
-  <xsl:for-each select="Constructor">
-   <xsl:variable name="CICURIConstructor" select="concat($CICURIInductiveType,'/',position(),')')"/>
-   <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
-   <xsl:call-template name="makelink">
-    <xsl:with-param name="name" select="@name"/>
-    <xsl:with-param name="CICURI" select="$CICURIConstructor"/>
-   </xsl:call-template>
-  </xsl:for-each>
- </xsl:for-each>
-</xsl:template>
-
-<!-- Not an Inductive Type -->
-<xsl:template match="*">
-  <xsl:call-template name="makelink">
-   <xsl:with-param name="name" select="$CICURI"/>
-   <xsl:with-param name="CICURI" select="$CICURI"/>
-  </xsl:call-template>
-</xsl:template>
-
 </xsl:stylesheet>