X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fquery.xml;h=8e8f3792a0a13d2b5384e27462d0d89d86905bc2;hb=7b7d26322d3bd9be8d6cdde79c74ff38e921290b;hp=68fb9992e42064a9de3f9489a9efc7c97bb34c6d;hpb=ca6aaf6c6b4c5fc37ef61c56ed6fc9d81c76b626;p=helm.git

diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml
index 68fb9992e..8e8f3792a 100644
--- a/helm/mathql/query.xml
+++ b/helm/mathql/query.xml
@@ -2,13 +2,28 @@
 
 <!DOCTYPE MathQL SYSTEM "xmathql.dtd">
 
-<!-- To validate: xmllint -valid -loaddtd -noout proquery.xml -->
+<!-- To validate: xmllint -valid -loaddtd -noout query.xml -->
 
 <MathQL>
  <Select>
   <In>
    <Use>
-    <Pattern arg="cic:/Coq/Init/Logic/Equality/eq.ind"/>
+    <Pattern>
+     <Prefix>cic</Prefix>
+     <TokenList>
+      <SLASH/>
+      <CONST>Coq</CONST>
+      <SLASH/>
+      <CONST>Init</CONST>
+      <SLASH/>
+      <CONST>Logic</CONST>
+      <SLASH/>
+      <CONST>Equality</CONST>
+      <SLASH/>
+      <CONST>eq</CONST>
+     </TokenList>
+     <Extension>ind</Extension>
+    </Pattern>
     <Position binder="$1"/>
    </Use>
   </In>