diff -r 5d294220ca43 -r 446e6621762d src/Pure/Isar/parse.scala
--- a/src/Pure/Isar/parse.scala	Wed Jun 08 17:42:07 2011 +0200
+++ b/src/Pure/Isar/parse.scala	Wed Jun 08 17:49:01 2011 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Isar/outer_parse.scala
+/*  Title:      Pure/Isar/parse.scala
     Author:     Makarius
 
 Generic parsers for Isabelle/Isar outer syntax.