--- a/src/HOL/Word/Bit_Comparison.thy Fri Jan 31 13:45:39 2014 +0100
+++ b/src/HOL/Word/Bit_Comparison.thy Fri Jan 31 14:33:02 2014 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/SPARK/SPARK.thy
+(* Title: HOL/Word/Bit_Comparison.thy
Author: Stefan Berghofer
Copyright: secunet Security Networks AG