--- a/src/HOL/Wfrec.thy Fri Jan 31 13:45:39 2014 +0100
+++ b/src/HOL/Wfrec.thy Fri Jan 31 14:33:02 2014 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/Library/Wfrec.thy
+(* Title: HOL/Wfrec.thy
Author: Tobias Nipkow
Author: Lawrence C Paulson
Author: Konrad Slind