--- a/src/HOL/Library/While_Combinator.thy Thu Apr 26 13:33:07 2007 +0200
+++ b/src/HOL/Library/While_Combinator.thy Thu Apr 26 13:33:09 2007 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Library/While.thy
+(* Title: HOL/Library/While_Combinator.thy
ID: $Id$
Author: Tobias Nipkow
Copyright 2000 TU Muenchen