+++ /dev/null
-<?xml version="1.0" encoding="ISO-8859-1"?>
-
-<!DOCTYPE MathQL SYSTEM "xmathql.dtd">
-
-<!-- To validate: xmllint -valid -loaddtd -noout query.xml -->
-
-<MathQL>
- <Select>
- <In>
- <Use>
- <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>
- <Where rvar="result">
- <AND>
- <IS>
- <BINDER name="$1"/>
- <POSITION name="MainHypothesis"/>
- </IS>
- <IS>
- <PROPERTY name="TITLE"><RVAR name="result"/></PROPERTY>
- <CONST>Uguaglianza</CONST>
- </IS>
- </AND>
- </Where>
- </Select>
-</MathQL>
-