--- a/src/HOL/Hoare/ROOT.ML Sat Sep 15 19:26:28 2007 +0200 +++ b/src/HOL/Hoare/ROOT.ML Sat Sep 15 19:27:35 2007 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/IMP/ROOT.ML +(* Title: HOL/Hoare/ROOT.ML ID: $Id$ Author: Tobias Nipkow Copyright 1998-2003 TUM