ocaml 3.09 transition

[helm.git] / helm / nuprl_stylesheets / nuprl_proof.xsl

diff --git a/helm/nuprl_stylesheets/nuprl_proof.xsl b/helm/nuprl_stylesheets/nuprl_proof.xsl
index f6eb2a7c095220935e52aacddab4257a48983bd0..b699ed402ad8f163c511517d2f9cfb90669708ce 100644 (file)
--- a/helm/nuprl_stylesheets/nuprl_proof.xsl
+++ b/helm/nuprl_stylesheets/nuprl_proof.xsl
@@ -15,6 +15,12 @@
   </Definition>
 </xsl:template>
 
+<xsl:template match="NuPrlDefinition">
+ <NuPrlDefinition>
+  <xsl:apply-templates select="*"/>
+ </NuPrlDefinition>
+</xsl:template>
+
 <xsl:template match="node">
   <xsl:element name="Node">
     <xsl:apply-templates/>