X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fnuprl_stylesheets%2Fnuprl_proof.xsl;h=b699ed402ad8f163c511517d2f9cfb90669708ce;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=f6eb2a7c095220935e52aacddab4257a48983bd0;hpb=8bd6f1c6b48b2d3ba90ed6e9bb645b03d752407b;p=helm.git

diff --git a/helm/nuprl_stylesheets/nuprl_proof.xsl b/helm/nuprl_stylesheets/nuprl_proof.xsl
index f6eb2a7c0..b699ed402 100644
--- 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/>