src/HOL/Lifting.thy

--- a/src/HOL/Lifting.thy	Wed Aug 28 11:15:14 2013 +0200
+++ b/src/HOL/Lifting.thy	Wed Aug 28 14:37:35 2013 +0200
@@ -9,7 +9,7 @@
 imports Equiv_Relations Transfer
 keywords
   "parametric" and
-  "print_quotmaps" "print_quotients" :: diag and
+  "print_quot_maps" "print_quotients" :: diag and
   "lift_definition" :: thy_goal and
   "setup_lifting" :: thy_decl
 begin