]> matita.cs.unibo.it Git - helm.git/blob - helm/mathql/result.xml
added utility to dump some tables of the db on mowgli
[helm.git] / helm / mathql / result.xml
1 <?xml version="1.0" encoding="ISO-8859-1"?>
2
3 <!DOCTYPE MQLresult SYSTEM "xmqlresult.dtd">
4
5 <!-- To validate: xmllint -valid -loaddtd -noout result.xml -->
6
7 <MQLresult>
8  <ResourceSet>
9   <RESOURCE name="cic:/Coq/Init/Logic/Equality/eq.ind">
10    <AttributeSet>
11     <ATTRIBUTE name="POSITION">
12      <CONST>MainHypothesis</CONST>
13     </ATTRIBUTE>
14     <ATTRIBUTE name="POSITION">
15      <CONST>InConclusion</CONST>
16     </ATTRIBUTE>
17    </AttributeSet>
18   </RESOURCE>
19  </ResourceSet>
20 </MQLresult>