diff -r b2aa899b3f2d -r 6266e44b3396 src/HOL/Library/Refute.thy
--- a/src/HOL/Library/Refute.thy	Fri Dec 14 16:24:12 2012 +0100
+++ b/src/HOL/Library/Refute.thy	Fri Dec 14 16:33:22 2012 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Refute.thy
+(*  Title:      HOL/Library/Refute.thy
     Author:     Tjark Weber
     Copyright   2003-2007