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/Pure/Tools/class_package.ML
changeset 22222 bb07dd6cb1b9
parent 22209 86b688409dde
child 22302 bf5bdb7f7607 
--- a/src/Pure/Tools/class_package.ML	Wed Jan 31 16:05:14 2007 +0100
+++ b/src/Pure/Tools/class_package.ML	Wed Jan 31 16:05:16 2007 +0100
@@ -574,7 +574,7 @@
     >> (fn (tyco, (asorts, sort)) => ((tyco, asorts), sort));
 
 val classP =
-  OuterSyntax.command classK "define operational type class" K.thy_decl (
+  OuterSyntax.command classK "define type class" K.thy_decl (
     P.name --| P.$$$ "="
     -- (
       class_subP --| P.$$$ "+" -- class_bodyP
isabelle