X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2Fcompare.ods;h=14f5524222998ade0fabb238b3808634e5871f49;hb=630e4146e14848db27b89d1467c5120d46530bce;hp=14d893901526673c75e4168ad99eca0552b7870f;hpb=9809371a52b90f005b0a393586c0d847bc26b92a;p=helm.git

diff --git a/matita/tests/TPTP/compare.ods b/matita/tests/TPTP/compare.ods
index 14d893901..14f552422 100644
Binary files a/matita/tests/TPTP/compare.ods and b/matita/tests/TPTP/compare.ods differ