src/Pure/Isar/outer_keyword.scala
2009-01-11 wenzelm 2009-01-11 tuned categories;
2009-01-11 wenzelm 2009-01-11 added outer_keyword.scala: Isar command keyword classification;