uri = "cic:/Coq/Init/Logic/First_order_quantifiers/ex.ind | cic:/Coq/Init/Logic_Type/exT.ind"
arity = "2">
<mapp>
- <mop tag="exist"/>
+ <mop tag="exists"/>
<mbvar name="x"/>
<m:condition>
<param id="1" mode="pure"/>
hide = "1"
arity = "2">
<mapp>
- <mop tag="exist"/>
+ <mop tag="exists"/>
<mbvar name="x"/>
<m:condition>
<param id="1" bvar="x"/>