| changeset 17057 | 0934ac31985f |
| parent 15945 | 08e8d3fb9343 |
| child 17336 | c05f72cff368 |
--- a/src/HOL/Tools/specification_package.ML Tue Aug 16 13:42:23 2005 +0200 +++ b/src/HOL/Tools/specification_package.ML Tue Aug 16 13:42:26 2005 +0200 @@ -239,7 +239,7 @@ (* outer syntax *) -local structure P = OuterParse and K = OuterSyntax.Keyword in +local structure P = OuterParse and K = OuterKeyword in (* taken from ~~/Pure/Isar/isar_syn.ML *) val opt_overloaded =