This commit was manufactured by cvs2svn to create branch 'moogle'.

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

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