From f520a046799605f705d0b37ef325ad73744c1afe Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 16 Jun 2006 16:06:41 +0000 Subject: [PATCH] ecco le gatte da pelare --- matita/tests/TPTP/elenco_stack_overflow.txt | 5 +++++ 1 file changed, 5 insertions(+) create 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 new file mode 100644 index 000000000..b2e56e8af --- /dev/null +++ b/matita/tests/TPTP/elenco_stack_overflow.txt @@ -0,0 +1,5 @@ +Unsatisfiable/GRP437-1.ma +Unsatisfiable/GRP438-1.ma +Unsatisfiable/GRP436-1.ma +Unsatisfiable/GRP122-1.ma +Unsatisfiable/BOO026-1.ma -- 2.39.2