From 484e764af06d980a1017f427c5243b5c5cef578c Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Dec 2002 09:23:58 +0000
Subject: [PATCH] m:exist ==> m:exists

---
 helm/meta_style/basic.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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