src/HOL/Lifting.thy

--- a/src/HOL/Lifting.thy	Mon Sep 16 11:54:57 2013 +0200
+++ b/src/HOL/Lifting.thy	Mon Sep 16 15:30:17 2013 +0200
@@ -11,7 +11,7 @@
   "parametric" and
   "print_quot_maps" "print_quotients" :: diag and
   "lift_definition" :: thy_goal and
-  "setup_lifting" :: thy_decl
+  "setup_lifting" "lifting_forget" "lifting_update" :: thy_decl
 begin
 
 subsection {* Function map *}