From eca41debc2129203d28af2a29a00cd69b4bee6e0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 23 Jun 2009 08:07:22 +0000 Subject: [PATCH] removed problem not in UEQ --- .../matita/contribs/ng_TPTP/{COL003-2.ma => COL003-2.ma.NOT_UEQ} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/contribs/ng_TPTP/{COL003-2.ma => COL003-2.ma.NOT_UEQ} (100%) diff --git a/helm/software/matita/contribs/ng_TPTP/COL003-2.ma b/helm/software/matita/contribs/ng_TPTP/COL003-2.ma.NOT_UEQ similarity index 100% rename from helm/software/matita/contribs/ng_TPTP/COL003-2.ma rename to helm/software/matita/contribs/ng_TPTP/COL003-2.ma.NOT_UEQ -- 2.39.2