1 <!DOCTYPE OpList SYSTEM "operator.dtd">
4 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
6 <!-- ************************* LOGIC *********************************-->
10 uri = "cic:/Coq/Init/Logic/and.ind"
16 uri = "cic:/Coq/Init/Logic/or.ind"
22 uri = "cic:/Coq/Init/Logic/iff.con"
25 <m:csymbol>iff</m:csymbol>
33 uri = "cic:/Coq/Init/Logic/not.con"
38 <!-- EQUALITY and TYPE EQUALITY -->
41 name = "EQUALITY and TYPE EQUALITY"
42 uri = "cic:/Coq/Init/Logic/eq.ind | cic:/Coq/Init/Logic_Type/eqT.ind"
48 name = "NOT-EQ and NOT-EQT"
49 uri = "cic:/Coq/Init/Logic/eq.ind | cic:/Coq/Init/Logic_Type/eqT.ind"
55 <param id="2" mode="set"/>
61 uri = "cic:/Coq/Init/Logic/ex.ind | cic:/Coq/Init/Logic_Type/exT.ind"
67 <param id="1" mode="pure"/>
69 <param id="2" bvar="x"/>
75 uri = "cic:/Coq/Init/Logic/ex2.ind | cic:/Coq/Init/Logic_Type/exT2.ind"
82 <param id="1" bvar="x"/>
84 <param id="2" bvar="x"/>