<!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><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>