]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/query.xml
Modified Files:
[helm.git] / helm / mathql / query.xml
index 8e8f3792a0a13d2b5384e27462d0d89d86905bc2..1910c00c05c28192d98df1cfc18fcf6f880e4fad 100644 (file)
@@ -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>