1 <!DOCTYPE OpList SYSTEM "operator.dtd">
3 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
5 <import href="modeset.xsl"/>
9 uri = "cic:/Coq/Sets/Ensembles/In.con"
15 <param id="1" mode="set"/>
21 uri = "cic:/Coq/Sets/Ensembles/In.con"
27 <param id="1" mode="set"/>
33 uri = "cic:/Coq/Sets/Ensembles/Empty_set.ind"
37 <m:in definitionURL="cic:/Coq/Sets/Ensembles/In.con"/>
39 <mop tag="set" helm:xref="$APP-ID"/>
45 uri = "cic:/Coq/Sets/Ensembles/Empty_set.ind"
47 <mop tag="set" helm:xref="$APP-ID"/>
53 uri = "cic:/Coq/Sets/Ensembles/Singleton.ind"
56 <mop tag="set" helm:xref="$APP-ID">
63 uri = "cic:/Coq/Sets/Ensembles/Singleton.ind"
67 <m:in definitionURL="cic:/Coq/Sets/Ensembles/In.con"/>
69 <m:set definitionURL="$OP-URI">
77 uri = "cic:/Coq/Sets/Ensembles/Couple.ind"
80 <mop tag="set" helm:xref="$APP-ID">
88 uri = "cic:/Coq/Sets/Ensembles/Couple.ind"
92 <m:in definitionURL="cic:/Coq/Sets/Ensembles/In.con"/>
94 <m:set definitionURL="$OP-URI">
103 uri = "cic:/Coq/Sets/Ensembles/Triple.ind"
115 uri = "cic:/Coq/Sets/Ensembles/Triple.ind"
119 <m:in definitionURL="cic:/Coq/Sets/Ensembles/In.con"/>
121 <m:set definitionURL="$OP-URI">
130 name = "INTERSECTION"
131 uri = "cic:/Coq/Sets/Ensembles/Intersection.ind"
135 <mop tag="intersect"/>
136 <param id="1" mode="set"/>
137 <param id="2" mode="set"/>
142 name = "INTERSECTION"
143 uri = "cic:/Coq/Sets/Ensembles/Intersection.ind"
150 <mop tag="intersect"/>
151 <param id="1" mode="set"/>
152 <param id="2" mode="set"/>
159 uri = "cic:/Coq/Sets/Ensembles/Union.ind"
164 <param id="1" mode="set"/>
165 <param id="2" mode="set"/>
171 uri = "cic:/Coq/Sets/Ensembles/Union.ind"
179 <param id="1" mode="set"/>
180 <param id="2" mode="set"/>
187 uri = "cic:/Coq/Sets/Ensembles/Included.con"
192 <param id="1" mode="set"/>
193 <param id="2" mode="set"/>
198 name = "STRICTLY INCLUDED"
199 uri = "cic:/Coq/Sets/Ensembles/Strict_Included.con"
203 <mop tag="prsubset"/>
204 <param id="1" mode="set"/>
205 <param id="2" mode="set"/>
211 uri = "cic:/Coq/Sets/Ensembles/Setminus.con"
216 <param id="1" mode="set"/>
217 <param id="2" mode="set"/>
223 uri = "cic:/Coq/Sets/Ensembles/Setminus.con"
231 <param id="1" mode="set"/>
232 <param id="2" mode="set"/>
239 uri = "cic:/Coq/Sets/Ensembles/Add.con"
244 <param id="1" mode="set"/>
246 <param id="2" mode="set"/>
253 uri = "cic:/Coq/Sets/Ensembles/Add.con"
261 <param id="1" mode="set"/>
270 name = "SUBTRACT-ELEM"
271 uri = "cic:/Coq/Sets/Ensembles/Subtract.con"
276 <param id="1" mode="set"/>
284 name = "SUBTRACT-ELEM"
285 uri = "cic:/Coq/Sets/Ensembles/Subtract.con"
293 <param id="1" mode="set"/>
303 uri = "cic:/Coq/Sets/Finite_sets/cardinal.ind"
310 <param id="1" mode="set"/>
318 uri = "cic:/Coq/Init/Specif/sig.ind"
327 <param id="2" bvar="x"/>