1 <!DOCTYPE OpList SYSTEM "operator.dtd">
3 <!-- ************************** LISTS ****************************** -->
5 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
10 uri = "cic:/Coq/Lists/PolyList/list.ind"
16 uri = "cic:/Coq/Lists/PolyList/list.ind"
22 uri = "cic:/Coq/Lists/PolyList/app.con"
26 <m:csymbol>append</m:csymbol>
34 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"
41 uri = "cic:/Coq/Lists/PolyList/incl.con"
48 uri = "cic:/Coq/Lists/ListSet/set_inter.con"
55 uri = "cic:/Coq/Lists/PolyList/length.con"