X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmeta_style%2Fbasic.xml;h=b0681468c95ba105ecc27d928648ef49434cb26e;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=8b4c24520076e0c2454c91f2513b519cd3cf3a90;hpb=a2dcdb25b6efbd2623913ecf8f0f7ad3fb60bc75;p=helm.git

diff --git a/helm/meta_style/basic.xml b/helm/meta_style/basic.xml
index 8b4c24520..b0681468c 100644
--- 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"/>