helm/software/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>