X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2Funit_equality_problems.txt;h=c296865bdc03d6b8a670d78eaf21391d55abde7d;hb=8030b740ba0b84df1ae3a3e5878b447f3e4ec874;hp=c394ddd956fbebb3fabab2bf63eb32b5bf70f66a;hpb=f01ea391a615404b49aee832452bec33d3e595dd;p=helm.git

diff --git a/matita/tests/TPTP/unit_equality_problems.txt b/matita/tests/TPTP/unit_equality_problems.txt
index c394ddd95..c296865bd 100644
--- a/matita/tests/TPTP/unit_equality_problems.txt
+++ b/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