src/HOL/Lifting.thy
changeset 53219 ca237b9e4542
parent 53151 fbf4d50dec91
child 53651 ee90c67502c9
     1.1 --- a/src/HOL/Lifting.thy	Wed Aug 28 11:15:14 2013 +0200
     1.2 +++ b/src/HOL/Lifting.thy	Wed Aug 28 14:37:35 2013 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  imports Equiv_Relations Transfer
     1.5  keywords
     1.6    "parametric" and
     1.7 -  "print_quotmaps" "print_quotients" :: diag and
     1.8 +  "print_quot_maps" "print_quotients" :: diag and
     1.9    "lift_definition" :: thy_goal and
    1.10    "setup_lifting" :: thy_decl
    1.11  begin