src/Pure/Isar/keyword.scala
2010-05-15 wenzelm 2010-05-15 renamed Outer_Keyword to Keyword (in Scala);