<?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>
+ <Relation name="Use">
<Pattern>
- <Prefix>cic</Prefix>
- <TokenList>
- <SLASH/>
- <CONST>Coq</CONST>
- <SLASH/>
- <CONST>Init</CONST>
- <SLASH/>
- <CONST>Logic</CONST>
- <SLASH/>
- <CONST>Equality</CONST>
- <SLASH/>
- <CONST>eq</CONST>
- </TokenList>
- <Extension>ind</Extension>
+ <CONST>cic:/Coq/Init/Logic/Equality/eq.ind</CONST>
</Pattern>
- <Position binder="$1"/>
- </Use>
+ <Attr binder="$1"/>
+ </Relation>
</In>
- <Where rvar="result">
+ <Where rvar="@result">
<AND>
- <IS>
- <BINDER name="$1"/>
- <POSITION name="MainHypothesis"/>
- </IS>
- <IS>
- <PROPERTY name="TITLE"><RVAR name="result"/></PROPERTY>
+ <EQ>
+ <BINDER name="$1"><Rvar name="@result"/></BINDER>
+ <CONST>MainHypothesis</CONST>
+ </EQ>
+ <EQ>
+ <PROPERTY name="TITLE"><REFOF><Rvar name="@result"/></REFOF></PROPERTY>
<CONST>Uguaglianza</CONST>
- </IS>
+ </EQ>
</AND>
</Where>
</Select>
-</MathQL>
+</MQLquery>