From 35f9a188ee0a2c1e28d350a3fe057ba16864cb76 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 --- helm/software/matita/tests/TPTP/elenco_stack_overflow.txt | 5 +++++ 1 file changed, 5 insertions(+) create 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 new file mode 100644 index 000000000..b2e56e8af --- /dev/null +++ b/helm/software/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