--- a/src/Tools/README Sat Feb 28 14:02:12 2009 +0100 +++ b/src/Tools/README Sat Feb 28 14:09:58 2009 +0100 @@ -4,5 +4,3 @@ This directory contains ML sources of generic tools. Typically, they can be applied to various logics. - -$Id$