src/Pure/System/isabelle_syntax.scala
2009-08-29 wenzelm 2009-08-29 moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala; renamed object IsabelleSyntax to Isabelle_Syntax;