From: Enrico Tassi Date: Fri, 16 Jun 2006 19:07:08 +0000 (+0000) Subject: fixed X-Git-Tag: make_still_working~7171 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c18c9b640779d96fea7d43d6bc4562e21b5112b3;p=helm.git fixed --- diff --git a/helm/software/matita/tests/TPTP/log.300.26-5.menvcorti_VS_log.120.orsay.ods b/helm/software/matita/tests/TPTP/log.300.26-5.menvcorti_VS_log.120.orsay.ods index 89e6e6e23..6b864df3f 100644 Binary files a/helm/software/matita/tests/TPTP/log.300.26-5.menvcorti_VS_log.120.orsay.ods and b/helm/software/matita/tests/TPTP/log.300.26-5.menvcorti_VS_log.120.orsay.ods differ