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/Ensembles/In.con"
15 <param id="1" mode="set"/>
21 uri = "cic:/Coq/Sets/Ensembles/Ensembles/In.con"
27 <param id="1" mode="set"/>
33 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind"
35 <mop tag="set" helm:xref="$APP-ID"/>
40 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind"
44 <m:in definitionURL="cic:/Coq/Sets/Ensembles/Ensembles/In.con"/>
46 <mop tag="set" helm:xref="$APP-ID"/>
52 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Singleton.ind"
56 <mop tag="set" helm:xref="$APP-ID">
63 <m:in definitionURL="cic:/Coq/Sets/Ensembles/Ensembles/In.con"/>
65 <m:set definitionURL="$OP-URI">
74 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Couple.ind"
78 <mop tag="set" helm:xref="$APP-ID">
86 <m:in definitionURL="cic:/Coq/Sets/Ensembles/Ensembles/In.con"/>
88 <m:set definitionURL="$OP-URI">
98 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Triple.ind"
111 <m:in definitionURL="cic:/Coq/Sets/Ensembles/Ensembles/In.con"/>
113 <m:set definitionURL="$OP-URI">
123 name = "INTERSECTION"
124 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Intersection.ind"
129 <mop tag="intersect"/>
130 <param id="1" mode="set"/>
131 <param id="2" mode="set"/>
140 <mop tag="intersect"/>
141 <param id="1" mode="set"/>
142 <param id="2" mode="set"/>
150 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Union.ind"
156 <param id="1" mode="set"/>
157 <param id="2" mode="set"/>
167 <param id="1" mode="set"/>
168 <param id="2" mode="set"/>
176 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Included.con"
181 <param id="1" mode="set"/>
182 <param id="2" mode="set"/>
187 name = "STRICTLY INCLUDED"
188 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Strict_Included.con"
192 <mop tag="prsubset"/>
193 <param id="1" mode="set"/>
194 <param id="2" mode="set"/>
200 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Setminus.con"
206 <param id="1" mode="set"/>
207 <param id="2" mode="set"/>
217 <param id="1" mode="set"/>
218 <param id="2" mode="set"/>
226 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Add.con"
232 <param id="1" mode="set"/>
234 <param id="2" mode="set"/>
245 <param id="1" mode="set"/>
255 name = "SUBTRACT-ELEM"
256 uri = "cic:/Coq/Sets/Ensembles/Ensembles/Subtract.con"
262 <param id="1" mode="set"/>
275 <param id="1" mode="set"/>
286 uri = "cic:/Coq/Sets/Finite_sets/Ensembles_finis/cardinal.ind"
293 <param id="1" mode="set"/>
301 uri = "cic:/Coq/Init/Specif/Subsets/sig.ind"
310 <param id="2" bvar="x"/>