more notations added

[helm.git] / helm / style / arith.xsl

diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index 617930350481c838a5aafc6f229e3c64674910ca..aabee3575c527ba4f665664bd142a5925ef48960 100644 (file)
--- a/helm/style/arith.xsl
+++ b/helm/style/arith.xsl
@@ -53,7 +53,7 @@
 <xsl:template match="APPLY[CONST/@uri='cic:/Coq/Init/Peano/ge.con']" mode="pure">
    <xsl:call-template name="mk-mml-infix">
       <xsl:with-param name="c-tag" select="CONST"/>
-      <xsl:with-param name="m-tag" select="'geg'"/>
+      <xsl:with-param name="m-tag" select="'geq'"/>
    </xsl:call-template>
 </xsl:template>
 
@@ -85,4 +85,11 @@
    </xsl:call-template>
 </xsl:template>
 
+<xsl:template match="APPLY[CONST/@uri='cic:/Coq/Arith/Min/min.con']" mode="pure">
+   <xsl:call-template name="mk-mml-infix">
+      <xsl:with-param name="c-tag" select="CONST"/>
+      <xsl:with-param name="m-tag" select="'min'"/>
+   </xsl:call-template>
+</xsl:template>
+
 </xsl:stylesheet>