src/HOL/Lifting.thy

--- a/src/HOL/Lifting.thy	Thu Mar 14 16:35:58 2019 +0100
+++ b/src/HOL/Lifting.thy	Thu Mar 14 16:55:06 2019 +0100
@@ -10,7 +10,7 @@
 keywords
   "parametric" and
   "print_quot_maps" "print_quotients" :: diag and
-  "lift_definition" :: thy_goal and
+  "lift_definition" :: thy_goal_defn and
   "setup_lifting" "lifting_forget" "lifting_update" :: thy_decl
 begin