diff -r 2b0b6f69b148 -r b3d0a02a756d src/HOL/BNF_Examples/Misc_Primcorec.thy
--- a/src/HOL/BNF_Examples/Misc_Primcorec.thy	Mon Jan 20 18:24:56 2014 +0100
+++ b/src/HOL/BNF_Examples/Misc_Primcorec.thy	Mon Jan 20 18:24:56 2014 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/BNF/Examples/Misc_Primcorec.thy
+(*  Title:      HOL/BNF_Examples/Misc_Primcorec.thy
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2013