ocaml 3.09 transition

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

diff --git a/helm/nuprl_stylesheets/nuprl_mmlextension.xsl b/helm/nuprl_stylesheets/nuprl_mmlextension.xsl
index 028579230a87ace26d81cd4337225db25f0249f9..f6c1590dfacc047dbb94b0df0a68677b93d226ae 100644 (file)
--- 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">