src/Pure/Thy/thy_syntax.scala
changeset 34303 98425e77cfeb
parent 34268 b149b7083236
child 34311 f0a6f02ad705
     1.1 --- a/src/Pure/Thy/thy_syntax.scala	Sun Jan 10 23:16:18 2010 +0100
     1.2 +++ b/src/Pure/Thy/thy_syntax.scala	Sun Jan 10 23:16:26 2010 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -class Thy_Syntax
     1.8 +object Thy_Syntax
     1.9  {
    1.10    private val parser = new Outer_Parse.Parser
    1.11    {