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