src/HOL/Lifting.thy
changeset 53651 ee90c67502c9
parent 53219 ca237b9e4542
child 53927 abe2b313f0e5
     1.1 --- a/src/HOL/Lifting.thy	Mon Sep 16 11:54:57 2013 +0200
     1.2 +++ b/src/HOL/Lifting.thy	Mon Sep 16 15:30:17 2013 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4    "parametric" and
     1.5    "print_quot_maps" "print_quotients" :: diag and
     1.6    "lift_definition" :: thy_goal and
     1.7 -  "setup_lifting" :: thy_decl
     1.8 +  "setup_lifting" "lifting_forget" "lifting_update" :: thy_decl
     1.9  begin
    1.10  
    1.11  subsection {* Function map *}