--- a/src/Pure/Isar/named_target.ML Sun Mar 13 22:24:10 2011 +0100
+++ b/src/Pure/Isar/named_target.ML Sun Mar 13 22:55:50 2011 +0100
@@ -1,4 +1,4 @@
-(* Title: Pure/Isar/theory_target.ML
+(* Title: Pure/Isar/named_target.ML
Author: Makarius
Author: Florian Haftmann, TU Muenchen