--- a/src/HOL/Codatatype/Tools/bnf_wrap.ML Fri Sep 21 15:53:29 2012 +0200
+++ b/src/HOL/Codatatype/Tools/bnf_wrap.ML Fri Sep 21 16:34:40 2012 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Codatatype/Tools/bnf_wrap.ML
+(* Title: HOL/BNF/Tools/bnf_wrap.ML
Author: Jasmin Blanchette, TU Muenchen
Copyright 2012