m:exist ==> m:exists

diff --git a/helm/meta_style/basic.xml b/helm/meta_style/basic.xml
index 8b4c24520076e0c2454c91f2513b519cd3cf3a90..b0681468c95ba105ecc27d928648ef49434cb26e 100644 (file)
--- a/helm/meta_style/basic.xml
+++ b/helm/meta_style/basic.xml
@@ -50,7 +50,7 @@
  uri   = "cic:/Coq/Init/Logic/First_order_quantifiers/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"/>
@@ -65,7 +65,7 @@
  hide  = "1"
  arity = "2">
        <mapp>
-               <mop tag="exist"/>
+               <mop tag="exists"/>
                <mbvar name="x"/>
                <m:condition>
                        <param id="1" bvar="x"/>