X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fnuprl_stylesheets%2Fnuprl_mmlextension.xsl;h=f6c1590dfacc047dbb94b0df0a68677b93d226ae;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=028579230a87ace26d81cd4337225db25f0249f9;hpb=734a6fc5d8da4896c646d1dd7a17afaf0dd33224;p=helm.git

diff --git a/helm/nuprl_stylesheets/nuprl_mmlextension.xsl b/helm/nuprl_stylesheets/nuprl_mmlextension.xsl
index 028579230..f6c1590df 100644
--- a/helm/nuprl_stylesheets/nuprl_mmlextension.xsl
+++ b/helm/nuprl_stylesheets/nuprl_mmlextension.xsl
@@ -251,6 +251,18 @@ which generates the toplevel element (see for instance xlink) -->
 </xsl:template>
 
 
+<!-- NuPRLDefinition -->
+
+<xsl:template match="NuPrlDefinition">
+ <m:math>
+  <m:mrow>
+   <xsl:apply-templates select="*[1]"/>
+   <m:mo> := </m:mo>
+   <xsl:apply-templates select="*[2]"/>
+  </m:mrow>
+ </m:math>
+</xsl:template>
+
 <!-- DEFINITION -->
 
 <xsl:template match="Definition">