X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fmathql%2Fquery.xml;h=4efca730d4e72a6b8697adc2471fe174a785c673;hb=aeb07f9b54ff0a5ab8f7a6c6f229f0bf3e7f9d62;hp=748ab0098a88a6526d861ffdef613dc8526b3205;hpb=083c4f014ec4ed17b33fef4a01efca2c72d85b06;p=helm.git
diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml
index 748ab0098..4efca730d 100644
--- a/helm/mathql/query.xml
+++ b/helm/mathql/query.xml
@@ -21,7 +21,7 @@
MainHypothesis
-
+
Uguaglianza