From 1f6fa0ef8ff69e83691e4a913973e46c23f9172e Mon Sep 17 00:00:00 2001
From: Pietro Di Lena <pietro.dilena@unibo.it>
Date: Mon, 25 Nov 2002 18:04:30 +0000
Subject: [PATCH] Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind
 definition

---
 helm/meta_style/set.xml | 27 +++++++++++++--------------
 1 file changed, 13 insertions(+), 14 deletions(-)

diff --git a/helm/meta_style/set.xml b/helm/meta_style/set.xml
index 9384b8430..f1e888d98 100644
--- a/helm/meta_style/set.xml
+++ b/helm/meta_style/set.xml
@@ -28,24 +28,23 @@
 	</mapp>
 </NotOperator>
 
-<Operator
+<OpSet
  name  = "EMPTY SET"
  uri   = "cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind"
  cook  = "true">
-	<mop tag="set" helm:xref="$APP-ID"/>
-</Operator>
-
-<Operator
- name  = "EMPTY SET"
- uri   = "cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind"
- cook  = "true"
- arity = "1">
-	<mapp>
-		<m:in definitionURL="cic:/Coq/Sets/Ensembles/Ensembles/In.con"/>
-		<param id="1"/>
+	
+	<Case arity="0">
 		<mop tag="set" helm:xref="$APP-ID"/>
-	</mapp>
-</Operator>
+	</Case>
+
+	<Case arity="1">
+		<mapp>
+			<m:in definitionURL="cic:/Coq/Sets/Ensembles/Ensembles/In.con"/>
+			<param id="1"/>
+			<mop tag="set" helm:xref="$APP-ID"/>
+		</mapp>
+	</Case>
+</OpSet>
 
 <OpSet
  name  = "SINGLETON"
-- 
2.39.2