<!--***********************************************************************-->
<!-- Schema of stylesheet precedences (from highest to lowest): -->
-<!-- set -> basic -> annotatedcont -->
-<!-- because theory_content is imported and has lower precendence than -->
+<!-- proofs.xsl-> reals.xsl-> set -> basic -> annotatedcont -->
+<!-- because annotatedcont is imported and has lower precendence than -->
<!-- the templates of rootcontent (i.e. the templates of set and basic). -->
<!-- annotatedcont -> objcontent -> content -->
-<!-- because theory_content generates an import precedence tree. -->
+<!-- because annotatedcont generates an import precedence tree. -->
<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">