From: Enrico Tassi Date: Fri, 16 Jun 2006 18:51:18 +0000 (+0000) Subject: fixes X-Git-Tag: make_still_working~7172 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=21f2ca1e83578359d9ab6926d466a4645049ee76;p=helm.git fixes --- 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 8cf343101..89e6e6e23 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