m:exist ==> m:exists

diff --git a/helm/meta_style/basic.xml b/helm/meta_style/basic.xml
index 66419e9a35214ea5860d36b0899d558ff2933365..e9da62a6281ceec8b6b24b8720f893dd09d93f78 100644 (file)
--- a/helm/meta_style/basic.xml
+++ b/helm/meta_style/basic.xml
@@ -61,7 +61,7 @@
  uri   = "cic:/Coq/Init/Logic/ex.ind | cic:/Coq/Init/Logic_Type/exT.ind"
  arity = "2">
        <mapp>
-               <mop tag="exist"/>
+               <mop tag="exists"/>
                <mbvar name="x"/>
                <m:condition>
                        <param id="1" mode="pure"/>
@@ -76,7 +76,7 @@
  hide  = "1"
  arity = "2">
        <mapp>
-               <mop tag="exist"/>
+               <mop tag="exists"/>
                <mbvar name="x"/>
                <m:condition>
                        <param id="1" bvar="x"/>