From 4e11da87e0a9b056bf648616606235e579d9ae24 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 19 Jun 2006 08:11:59 +0000 Subject: [PATCH] ... --- matita/tests/TPTP/elenco_stack_overflow.txt | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 matita/tests/TPTP/elenco_stack_overflow.txt diff --git a/matita/tests/TPTP/elenco_stack_overflow.txt b/matita/tests/TPTP/elenco_stack_overflow.txt deleted file mode 100644 index b2e56e8af..000000000 --- a/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