From: Pietro Di Lena <pietro.dilena@unibo.it>
Date: Mon, 25 Nov 2002 18:04:30 +0000 (+0000)
Subject: Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind definition
X-Git-Tag: V_0_0_6~60
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f6fa0ef8ff69e83691e4a913973e46c23f9172e;p=helm.git

Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind definition
---

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"