--- a/src/HOL/Library/bnf_decl.ML Fri Jan 31 13:45:39 2014 +0100
+++ b/src/HOL/Library/bnf_decl.ML Fri Jan 31 14:33:02 2014 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/BNF/Tools/bnf_decl.ML
+(* Title: HOL/Library/bnf_decl.ML
Author: Dmitriy Traytel, TU Muenchen
Copyright 2013