From 29af35ca2066806f81341481a9d4d52cf11e46e5 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Dec 2002 09:18:25 +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 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"/>
-- 
2.39.2