--- a/src/HOL/Hoare/Hoare_Logic.thy Sun Mar 13 22:24:10 2011 +0100
+++ b/src/HOL/Hoare/Hoare_Logic.thy Sun Mar 13 22:55:50 2011 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/Hoare/Hoare.thy
+(* Title: HOL/Hoare/Hoare_Logic.thy
Author: Leonor Prensa Nieto & Tobias Nipkow
Copyright 1998 TUM