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 <!--***********************************************************************-->
   8
   9 <!-- Schema of stylesheet precedences (from highest to lowest):          -->
  10 <!-- set -> basic -> theory_content                                      -->
  11 <!-- because theory_content is imported and has lower precendence than   -->
  12 <!-- the templates of rootcontent (i.e. the templates of set and basic). -->
  13 <!-- theory_content -> annotatedcont -> objcontent -> content            -->
  14 <!-- because theory_content generates an import precedence tree.         -->
  15
  16 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
  17
  18 <xsl:import href="theory_content.xsl"/>
  19 <xsl:include href="basic.xsl"/>
  20 <xsl:include href="set.xsl"/>
  21
  22 </xsl:stylesheet>