changeset 58900 | 1435cc20b022 |
parent 58868 | c5e1cce7ace3 |
child 58903 | 38c72f5f6c2e |
--- a/src/Pure/Isar/keyword.ML Wed Nov 05 15:32:11 2014 +0100 +++ b/src/Pure/Isar/keyword.ML Wed Nov 05 16:57:12 2014 +0100 @@ -1,7 +1,7 @@ (* Title: Pure/Isar/keyword.ML Author: Makarius -Isar command keyword classification and global keyword tables. +Isar keyword classification. *) signature KEYWORD =