From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Dec 2002 09:23:58 +0000 (+0000)
Subject: m:exist ==> m:exists
X-Git-Tag: V_0_0_6~13
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=484e764af06d980a1017f427c5243b5c5cef578c;p=helm.git

m:exist ==> m:exists
---

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"/>