+++ /dev/null
-<!DOCTYPE OpList SYSTEM "operator.dtd">
-
-
-<OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
-
-<!-- ************************* LOGIC *********************************-->
-
-<Operator
- name = "AND"
- uri = "cic:/Coq/Init/Logic/and.ind"
- arity = "2"
- m-tag = "and"/>
-
-<Operator
- name = "OR"
- uri = "cic:/Coq/Init/Logic/or.ind"
- arity = "2"
- m-tag = "or"/>
-
-<Operator
- name = "IFF"
- uri = "cic:/Coq/Init/Logic/iff.con"
- arity = "2">
- <mapp>
- <m:csymbol>iff</m:csymbol>
- <param id="1"/>
- <param id="2"/>
- </mapp>
-</Operator>
-
-<Operator
- name = "NOT"
- uri = "cic:/Coq/Init/Logic/not.con"
- arity = "1"
- m-tag = "not"/>
-
-
-<!-- EQUALITY and TYPE EQUALITY -->
-
-<Operator
- name = "EQUALITY and TYPE EQUALITY"
- uri = "cic:/Coq/Init/Logic/eq.ind | cic:/Coq/Init/Logic_Type/eqT.ind"
- hide = "1"
- arity = "2"
- m-tag = "eq"/>
-
-<NotOperator
- name = "NOT-EQ and NOT-EQT"
- uri = "cic:/Coq/Init/Logic/eq.ind | cic:/Coq/Init/Logic_Type/eqT.ind"
- hide = "1"
- arity = "2">
- <mapp>
- <m:neq/>
- <param id="1"/>
- <param id="2" mode="set"/>
- </mapp>
-</NotOperator>
-
-<Operator
- name = "EXIST"
- uri = "cic:/Coq/Init/Logic/ex.ind | cic:/Coq/Init/Logic_Type/exT.ind"
- arity = "2">
- <mapp>
- <mop tag="exists"/>
- <mbvar name="x"/>
- <m:condition>
- <param id="1" mode="pure"/>
- </m:condition>
- <param id="2" bvar="x"/>
- </mapp>
-</Operator>
-
-<Operator
- name = "EXIST"
- uri = "cic:/Coq/Init/Logic/ex2.ind | cic:/Coq/Init/Logic_Type/exT2.ind"
- hide = "1"
- arity = "2">
- <mapp>
- <mop tag="exists"/>
- <mbvar name="x"/>
- <m:condition>
- <param id="1" bvar="x"/>
- </m:condition>
- <param id="2" bvar="x"/>
- </mapp>
-</Operator>
-
-</OpList>