<?xml version="1.0"?>
<!-- TODO
Terms and definitions
Cover sheet
Different bullets for nested lists.
-->
<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                version="1.0">

<xsl:import href="is.xsl"/>
<xsl:import href="grammar.xsl"/>
<xsl:import href="proofsystem.xsl"/>
<xsl:import href="rngprint.xsl"/>

<xsl:template match="grammarref">
  <xsl:apply-templates select="document(@src)/*"/>
</xsl:template>

<xsl:template match="rngref">
  <xsl:apply-templates select="document(@src)" mode="print"/>
</xsl:template>

</xsl:stylesheet>