helm/style/roottheory.xsl

   1 <?xml version="1.0"?>
   2
   3 <!--***********************************************************************-->
   4 <!-- XSLT version 0.1 of the stylesheet to accomplish the right inclusion  -->
   5 <!-- of the theory content stylesheets:                                    -->
   6 <!-- First draft: May 26 2000, Claudio Sacerdoti Coen, Irene Schena        -->
   7 <!--              November 15 2000, Irene Schena                           -->
   8 <!--***********************************************************************-->
   9
  10 <!-- Schema of stylesheet precedences (from highest to lowest):          -->
  11 <!-- theory_content -> rootcontent.xsl                                   -->
  12 <!-- because theory_content is included and has higher precendence than  -->
  13 <!-- the templates of rootcontent which are imported.                    -->
  14
  15 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
  16
  17 <xsl:import href="rootcontent.xsl"/>
  18 <xsl:include href="theory_content.xsl"/>
  19
  20 </xsl:stylesheet>
  21
  22
  23
  24
  25