X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Ftests%2FTPTP%2Funit_equality_problems.txt;h=c296865bdc03d6b8a670d78eaf21391d55abde7d;hb=f38fd769279794d0ca73c8945eac30e8b42e59be;hp=c394ddd956fbebb3fabab2bf63eb32b5bf70f66a;hpb=19f17706f835cff0e0cc0e6c65b9cb65d64a53a4;p=helm.git

diff --git a/helm/software/matita/tests/TPTP/unit_equality_problems.txt b/helm/software/matita/tests/TPTP/unit_equality_problems.txt
index c394ddd95..c296865bd 100644
--- a/helm/software/matita/tests/TPTP/unit_equality_problems.txt
+++ b/helm/software/matita/tests/TPTP/unit_equality_problems.txt
@@ -99,14 +99,6 @@ COL002-1
 COL002-4
 COL002-5
 COL003-1
-COL003-1
-COL003-1
-COL003-1
-COL003-1
-COL003-1
-COL003-1
-COL003-1
-COL003-1
 COL003-2
 COL004-1
 COL004-3
@@ -199,8 +191,6 @@ COL064-6
 COL064-7
 COL064-8
 COL064-9
-COL064-1
-COL064-1
 COL065-1
 COL066-1
 COL066-2