1 <!DOCTYPE OpList SYSTEM "operator.dtd">
3 <!-- ************************** LISTS ****************************** -->
5 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
7 <import href="positive.xsl"/>
12 uri = "cic:/Coq/Lists/PolyList/list.ind"
18 uri = "cic:/Coq/Lists/PolyList/list.ind"
24 uri = "cic:/Coq/Lists/PolyList/app.con"
28 <m:csymbol>append</m:csymbol>
36 uri = "cic:/Coq/Lists/PolyList/In.con | cic:/Coq/Lists/TheoryList/In_spec.ind | cic:/Coq/Lists/ListSet/set_In.con | cic:/Coq/Lists/ListSet/set_mem.con"
43 uri = "cic:/Coq/Lists/PolyList/incl.con"
50 uri = "cic:/Coq/Lists/ListSet/set_inter.con"
57 uri = "cic:/Coq/Lists/PolyList/length.con"