1.1 --- a/src/Pure/Thy/thy_header.scala	Mon Dec 28 20:24:09 2009 +0100
     1.2 +++ b/src/Pure/Thy/thy_header.scala	Mon Dec 28 22:03:14 2009 +0100
     1.3 @@ -36,8 +36,8 @@
     1.4  
     1.5    val header: Parser[Header] =
     1.6    {
     1.7 -    val file_name = atom("file name", _.is_name) ^^ Isabelle_System.decode_permissive_utf8
     1.8 -    val theory_name = atom("theory name", _.is_name) ^^ Isabelle_System.decode_permissive_utf8
     1.9 +    val file_name = atom("file name", _.is_name) ^^ Standard_System.decode_permissive_utf8
    1.10 +    val theory_name = atom("theory name", _.is_name) ^^ Standard_System.decode_permissive_utf8
    1.11  
    1.12      val file =
    1.13        keyword("(") ~! (file_name ~ keyword(")")) ^^ { case _ ~ (x ~ _) => x } | file_name