src/HOL/Typedef.thy
changeset 63434 c956d995bec6
parent 61799 4cf66f21b764
child 69605 a96320074298
--- a/src/HOL/Typedef.thy	Mon Jul 11 10:43:27 2016 +0200
+++ b/src/HOL/Typedef.thy	Mon Jul 11 10:43:54 2016 +0200
@@ -6,7 +6,9 @@
 
 theory Typedef
 imports Set
-keywords "typedef" :: thy_goal and "morphisms"
+keywords
+  "typedef" :: thy_goal and
+  "morphisms" :: quasi_command
 begin
 
 locale type_definition =