--- a/src/Pure/Isar/keyword.ML Sun May 16 00:02:11 2010 +0200 +++ b/src/Pure/Isar/keyword.ML Mon May 17 10:20:55 2010 +0200 @@ -210,7 +210,4 @@ end; -(*legacy alias*) -structure OuterKeyword = Keyword; -