--- a/src/HOL/Typedef.thy Thu Mar 14 16:35:58 2019 +0100
+++ b/src/HOL/Typedef.thy Thu Mar 14 16:55:06 2019 +0100
@@ -7,7 +7,7 @@
theory Typedef
imports Set
keywords
- "typedef" :: thy_goal and
+ "typedef" :: thy_goal_defn and
"morphisms" :: quasi_command
begin