Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/typedef_package.ML
changeset 17057 0934ac31985f
parent 16645 a152d6b21c31
child 17144 6642e0f96f44 
--- a/src/HOL/Tools/typedef_package.ML	Tue Aug 16 13:42:23 2005 +0200
+++ b/src/HOL/Tools/typedef_package.ML	Tue Aug 16 13:42:26 2005 +0200
@@ -364,7 +364,7 @@
 
 (** outer syntax **)
 
-local structure P = OuterParse and K = OuterSyntax.Keyword in
+local structure P = OuterParse and K = OuterKeyword in
 
 val typedeclP =
   OuterSyntax.command "typedecl" "type declaration (HOL)" K.thy_decl
isabelle