src/Pure/Isar/outer_keyword.ML
2005-09-06 haftmann 2005-09-06 eliminated 1 call to polyEq
2005-08-16 wenzelm 2005-08-16 Isar command keyword classification (from Isar/outer_syntax.ML);