<?xml version="1.0" encoding="ISO-8859-1"?>
-<!DOCTYPE MathQL SYSTEM "xmathql.dtd">
+<!DOCTYPE MQLquery SYSTEM "xmathql.dtd">
-<!-- To validate: xmllint -valid -loaddtd -noout proquery.xml -->
+<!-- To validate: xmllint -valid -loaddtd -noout query.xml -->
-<MathQL>
+<MQLquery>
<Select>
<In>
<Use>
- <Pattern arg="cic:/Coq/Init/Logic/Equality/eq.ind"/>
+ <Pattern>
+ <PPrefix><CONST>cic</CONST></PPrefix>
+ <PBody>
+ <SLASH/>
+ <CONST>Coq</CONST>
+ <SLASH/>
+ <CONST>Init</CONST>
+ <SLASH/>
+ <CONST>Logic</CONST>
+ <SLASH/>
+ <CONST>Equality</CONST>
+ <SLASH/>
+ <CONST>eq</CONST>
+ </PBody>
+ <Ext><CONST>ind</CONST></Ext>
+ </Pattern>
<Position binder="$1"/>
</Use>
</In>
</AND>
</Where>
</Select>
-</MathQL>
+</MQLquery>