From: Enrico Tassi Date: Fri, 16 Jun 2006 16:06:41 +0000 (+0000) Subject: ecco le gatte da pelare X-Git-Tag: make_still_working~7173 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=35f9a188ee0a2c1e28d350a3fe057ba16864cb76;p=helm.git ecco le gatte da pelare --- 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