+++ /dev/null
-<?xml version="1.0"?>
-
-<!--***********************************************************************-->
-<!-- XSLT version 0.1 of theory sections to HTML: -->
-<!-- First draft: May 10 2000, Irene Schena -->
-<!--***********************************************************************-->
-
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
- xmlns:m="http://www.w3.org/1998/Math/MathML">
-
-<xsl:include href="annotatedpres.xsl"/>
-
-<xsl:template match="SECTION">
-<xsl:param name="subsect" select="0"/>
- <xsl:choose>
- <xsl:when test="$subsect = 0">
- <html>
- <head></head>
- <body>
- <m:math><m:mtext>BEGIN SECTION</m:mtext></m:math>
- <xsl:apply-templates select="*"><xsl:with-param name="subsect" select="1"/></xsl:apply-templates>
- <m:math><m:mtext>END SECTION</m:mtext></m:math>
- </body>
- </html>
- </xsl:when>
- <xsl:otherwise>
- <m:math><m:mtext>BEGIN SECTION</m:mtext></m:math>
- <xsl:apply-templates select="*"><xsl:with-param name="subsect" select="1"/></xsl:apply-templates>
- <m:math><m:mtext>END SECTION</m:mtext></m:math>
- </xsl:otherwise>
- </xsl:choose>
-</xsl:template>
-
-</xsl:stylesheet>