X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmathql%2Fresult.xml;fp=helm%2Fmathql%2Fresult.xml;h=0000000000000000000000000000000000000000;hp=dc79c08799bd66ec53e59db4ae99f4372f133ccf;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/mathql/result.xml b/helm/mathql/result.xml
deleted file mode 100644
index dc79c0879..000000000
--- 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>