+++ /dev/null
-<?xml version="1.0" encoding="ISO-8859-1"?>
-
-<!DOCTYPE MQLquery SYSTEM "xmathql.dtd">
-
-<!-- To validate: xmllint -valid -loaddtd -noout query.xml -->
-
-<MQLquery>
- <Select>
- <In>
- <Use>
- <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>
- <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>
-</MQLquery>
-