X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmetadataControl.xsl;fp=helm%2Fon-line%2Fxslt%2FmetadataControl.xsl;h=0000000000000000000000000000000000000000;hp=c893437b3bbc860168435e36bf24853a42ec3904;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl
deleted file mode 100644
index c893437b3..000000000
--- a/helm/on-line/xslt/metadataControl.xsl
+++ /dev/null
@@ -1,43 +0,0 @@
-<?xml version="1.0"?>
-
-<xsl:stylesheet version="1.0"
- xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
- xmlns:subst="http://www.cs.unibo.it/helm/subst">
-
-<xsl:output 
-	method="xml"
-	encoding="iso-8859-1" 
-	media-type="text/html"
- 	doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
-  	doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
-
-<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>