| changeset 17057 | 0934ac31985f |
| parent 16628 | 286e70f0d809 |
| child 17959 | 8db36a108213 |
--- a/src/HOLCF/fixrec_package.ML Tue Aug 16 13:42:23 2005 +0200 +++ b/src/HOLCF/fixrec_package.ML Tue Aug 16 13:42:26 2005 +0200 @@ -296,7 +296,7 @@ (******************************** Parsers ********************************) (*************************************************************************) -local structure P = OuterParse and K = OuterSyntax.Keyword in +local structure P = OuterParse and K = OuterKeyword in val fixrec_eqn = P.opt_thm_name ":" -- P.prop;