From 8f6633d8c253484eb18f2ba8eb48213fe86c0ba0 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Dec 2002 16:58:44 +0000
Subject: [PATCH] positive.xsl is now included in headercontent.xsl and no more
 required in arith.xml and list.xml. This is necessary to overload the
 standard rendering of some operators (e.g. notation for real numbers).

---
 helm/meta_style/arith.xml    | 2 --
 helm/meta_style/list.xml     | 2 --
 helm/style/headercontent.xsl | 8 +++++---
 3 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/helm/meta_style/arith.xml b/helm/meta_style/arith.xml
index b37f5c255..a21a51306 100644
--- a/helm/meta_style/arith.xml
+++ b/helm/meta_style/arith.xml
@@ -4,8 +4,6 @@
 
 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
 
-<import href="positive.xsl"/>
-
 <Operator
  name  = "LESS EQUAL"
  uri   = "cic:/Coq/Init/Peano/le.ind | cic:/Coq/ZArith/zarith_aux/Zle.con"
diff --git a/helm/meta_style/list.xml b/helm/meta_style/list.xml
index 4171058da..9ed07d69b 100644
--- a/helm/meta_style/list.xml
+++ b/helm/meta_style/list.xml
@@ -4,8 +4,6 @@
 
 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
 
-<import href="positive.xsl"/>
-
 <!-- CSC: manca
 <Operator
  name  = "CONS"
diff --git a/helm/style/headercontent.xsl b/helm/style/headercontent.xsl
index c5151a0d2..372bcfccb 100644
--- a/helm/style/headercontent.xsl
+++ b/helm/style/headercontent.xsl
@@ -31,14 +31,16 @@
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
-<xsl:include href="contentlib.xsl"/>   <!-- FG -->
+<!-- Warning: the first included stylesheet has the lowest precedence -->
+<xsl:include href="contentlib.xsl"/>
 <xsl:include href="basic.xsl"/>
-<xsl:include href="arith.xsl"/>        <!-- FG -->
+<xsl:include href="arith.xsl"/>
 <xsl:include href="set.xsl"/>
 <xsl:include href="list.xsl"/>
 <xsl:include href="reals.xsl"/>
-<xsl:include href="ring.xsl"/>        <!-- FG -->
+<xsl:include href="ring.xsl"/>
 <xsl:include href="algebra.xsl"/> 
 <xsl:include href="lambda.xsl"/>
+<xsl:include href="positive.xsl"/>
 
 </xsl:stylesheet>
-- 
2.39.2