+++ /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>