+++ /dev/null
-<?xml version="1.0" encoding="ISO-8859-1"?>
-
-<!DOCTYPE MQLquery SYSTEM "xmathql.dtd">
-
-<!-- To validate: xmllint -valid -loaddtd -noout query.xml -->
-
-<MQLquery>
- <Select>
- <In>
- <Relation name="Use">
- <Pattern>
- <CONST>cic:/Coq/Init/Logic/Equality/eq.ind</CONST>
- </Pattern>
- <Attr binder="$1"/>
- </Relation>
- </In>
- <Where rvar="@result">
- <AND>
- <EQ>
- <BINDER name="$1"><Rvar name="@result"/></BINDER>
- <CONST>MainHypothesis</CONST>
- </EQ>
- <EQ>
- <PROPERTY name="TITLE"><REFOF><Rvar name="@result"/></REFOF></PROPERTY>
- <CONST>Uguaglianza</CONST>
- </EQ>
- </AND>
- </Where>
- </Select>
-</MQLquery>
-