X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmathql%2Fquery.xml;h=4efca730d4e72a6b8697adc2471fe174a785c673;hb=6cf15c86b051582032c794f7da8a325e31fc0480;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