--- a/src/Pure/Thy/thy_syntax.scala Sun Jan 10 23:16:18 2010 +0100 +++ b/src/Pure/Thy/thy_syntax.scala Sun Jan 10 23:16:26 2010 +0100 @@ -7,7 +7,7 @@ package isabelle -class Thy_Syntax +object Thy_Syntax { private val parser = new Outer_Parse.Parser {