X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fquery.xml;fp=helm%2Fmathql%2Fquery.xml;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=aff80bcb58b96020ddff6038f835fea852ab5cd7;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml
deleted file mode 100644
index aff80bcb5..000000000
--- a/helm/mathql/query.xml
+++ /dev/null
@@ -1,43 +0,0 @@
-<?xml version="1.0" encoding="ISO-8859-1"?>
-
-<!DOCTYPE MathQL SYSTEM "xmathql.dtd">
-
-<!-- To validate: xmllint -valid -loaddtd -noout query.xml -->
-
-<MathQL>
- <Select>
-  <In>
-   <Use>
-    <Pattern>
-     <Prefix><CONST>cic</CONST></Prefix>
-     <TokenList>
-      <SLASH/>
-      <CONST>Coq</CONST>
-      <SLASH/>
-      <CONST>Init</CONST>
-      <SLASH/>
-      <CONST>Logic</CONST>
-      <SLASH/>
-      <CONST>Equality</CONST>
-      <SLASH/>
-      <CONST>eq.ind</CONST>
-     </TokenList>
-    </Pattern>
-    <Position binder="$1"/>
-   </Use>
-  </In>
-  <Where rvar="result">
-   <AND>
-    <IS>
-     <BINDER name="$1"/>
-     <POSITION name="MainHypothesis"/>
-    </IS>
-    <IS>
-     <PROPERTY name="TITLE"><RVAR name="result"/></PROPERTY>
-     <CONST>Uguaglianza</CONST>
-    </IS>
-   </AND>
-  </Where>
- </Select>
-</MathQL>
-