From: Enrico Tassi Date: Sun, 18 Jun 2006 10:49:22 +0000 (+0000) Subject: fix X-Git-Tag: make_still_working~7169 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cc518de60acdadf62a40d3ede8920f311aa03afc;p=helm.git fix --- 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 6b864df3f..11ebd0e94 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