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