From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Dec 2002 09:18:25 +0000 (+0000)
Subject: m:exist ==> m:exists
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=29af35ca2066806f81341481a9d4d52cf11e46e5;p=helm.git

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

diff --git a/helm/meta_style/basic.xml b/helm/meta_style/basic.xml
index 66419e9a3..e9da62a62 100644
--- 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"/>