new MathQL syntax

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

diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml
index 8e8f3792a0a13d2b5384e27462d0d89d86905bc2..aff80bcb58b96020ddff6038f835fea852ab5cd7 100644 (file)
--- a/helm/mathql/query.xml
+++ b/helm/mathql/query.xml
@@ -9,7 +9,7 @@
   <In>
    <Use>
     <Pattern>
-     <Prefix>cic</Prefix>
+     <Prefix><CONST>cic</CONST></Prefix>
      <TokenList>
       <SLASH/>
       <CONST>Coq</CONST>
@@ -20,9 +20,8 @@
       <SLASH/>
       <CONST>Equality</CONST>
       <SLASH/>
-      <CONST>eq</CONST>
+      <CONST>eq.ind</CONST>
      </TokenList>
-     <Extension>ind</Extension>
     </Pattern>
     <Position binder="$1"/>
    </Use>