--- /dev/null
+<?xml version="1.0" encoding="ISO-8859-1"?>
+
+<!DOCTYPE MQLresult SYSTEM "xmqlresult.dtd">
+
+<!-- To validate: xmllint -valid -loaddtd -noout result.xml -->
+
+<MQLresult>
+ <ResourceSet>
+ <RESOURCE name="cic:/Coq/Init/Logic/Equality/eq.ind">
+ <AttributeSet>
+ <ATTRIBUTE name="POSITION">
+ <CONST>MainHypothesis</CONST>
+ </ATTRIBUTE>
+ <ATTRIBUTE name="POSITION">
+ <CONST>InConclusion</CONST>
+ </ATTRIBUTE>
+ </AttributeSet>
+ </RESOURCE>
+ </ResourceSet>
+</MQLresult>