1 <?xml version="1.0" encoding="ISO-8859-1"?>
3 <!DOCTYPE MathQL SYSTEM "xmathql.dtd">
5 <!-- To validate: xmllint -valid -loaddtd -noout proquery.xml -->
11 <Pattern arg="cic:/Coq/Init/Logic/Equality/eq.ind"/>
12 <Position binder="$1"/>
19 <POSITION name="MainHypothesis"/>
22 <PROPERTY name="TITLE"><RVAR name="result"/></PROPERTY>
23 <CONST>Uguaglianza</CONST>