--- a/src/Tools/README Wed Mar 04 10:43:39 2009 +0100 +++ b/src/Tools/README Wed Mar 04 10:45:52 2009 +0100 @@ -4,5 +4,3 @@ This directory contains ML sources of generic tools. Typically, they can be applied to various logics. - -$Id$