Added Files:

[helm.git] / helm / mathql / result.xml

diff --git a/helm/mathql/result.xml b/helm/mathql/result.xml
new file mode 100644 (file)
index 0000000..dc79c08
--- /dev/null
+++ b/helm/mathql/result.xml
@@ -0,0 +1,20 @@
+<?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>