From bd1b46f317b1d3bb7d5f95c2123e945b37d001cc Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 19 Jun 2006 08:11:59 +0000 Subject: [PATCH] ... --- helm/software/matita/tests/TPTP/elenco_stack_overflow.txt | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 helm/software/matita/tests/TPTP/elenco_stack_overflow.txt diff --git a/helm/software/matita/tests/TPTP/elenco_stack_overflow.txt b/helm/software/matita/tests/TPTP/elenco_stack_overflow.txt deleted file mode 100644 index b2e56e8af..000000000 --- a/helm/software/matita/tests/TPTP/elenco_stack_overflow.txt +++ /dev/null @@ -1,5 +0,0 @@ -Unsatisfiable/GRP437-1.ma -Unsatisfiable/GRP438-1.ma -Unsatisfiable/GRP436-1.ma -Unsatisfiable/GRP122-1.ma -Unsatisfiable/BOO026-1.ma -- 2.39.2