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