--- 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
{