| changeset 17057 | 0934ac31985f |
| parent 16842 | 5979c46853d1 |
| child 17926 | 8e12d3a4b890 |
--- a/src/HOLCF/cont_consts.ML Tue Aug 16 13:42:23 2005 +0200 +++ b/src/HOLCF/cont_consts.ML Tue Aug 16 13:42:26 2005 +0200 @@ -97,7 +97,7 @@ (* outer syntax *) -local structure P = OuterParse and K = OuterSyntax.Keyword in +local structure P = OuterParse and K = OuterKeyword in val constsP = OuterSyntax.command "consts" "declare constants (HOLCF)" K.thy_decl