| changeset 17057 | 0934ac31985f |
| parent 17041 | dee6f7047cae |
| child 17221 | 6cd180204582 |
--- a/src/Pure/axclass.ML Tue Aug 16 13:42:23 2005 +0200 +++ b/src/Pure/axclass.ML Tue Aug 16 13:42:26 2005 +0200 @@ -362,7 +362,7 @@ (** outer syntax **) -local structure P = OuterParse and K = OuterSyntax.Keyword in +local structure P = OuterParse and K = OuterKeyword in val axclassP = OuterSyntax.command "axclass" "define axiomatic type class" K.thy_decl