From: Pietro Di Lena <pietro.dilena@unibo.it>
Date: Mon, 25 Nov 2002 18:16:51 +0000 (+0000)
Subject: Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind definition
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2b929db84c91d8f112202b16ba7992b55a395608;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 5b2ca768f..a84c5c274 100644
--- a/helm/meta_style/set.xml
+++ b/helm/meta_style/set.xml
@@ -42,7 +42,8 @@
 
 <Operator
  name  = "EMPTY SET"
- uri   = "cic:/Coq/Sets/Ensembles/Empty_set.ind">
+ uri   = "cic:/Coq/Sets/Ensembles/Empty_set.ind"
+ cook  = "true">
  	<mop tag="set" helm:xref="$APP-ID"/>
 </Operator>