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

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>