]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/metadataControl.xsl
ocaml 3.09 transition
[helm.git] / helm / on-line / xslt / metadataControl.xsl
index 3a2b4072a3a173d928282680ebfd2dbc08beb2f1..059c0dbe5a7c24d0f67ca5cc28aa961bbe967e04 100644 (file)
@@ -8,6 +8,7 @@
 <xsl:import href="utils.xsl"/>
 <xsl:import href="show_dc.xsl"/>
 <xsl:import href="links_library.xsl"/>
+<xsl:import href="toplevel_header.xsl"/>
 
 <xsl:output 
        method="xml"