--- a/src/HOL/Tools/Quotient/quotient_info.ML Mon Feb 22 09:36:29 2010 +0100
+++ b/src/HOL/Tools/Quotient/quotient_info.ML Mon Feb 22 10:28:00 2010 +0100
@@ -280,7 +280,7 @@
OuterKeyword.diag (Scan.succeed (Toplevel.keep (pp_fn o Toplevel.context_of)))
val _ = map improper_command
- [(print_mapsinfo, "print_maps", "prints out all map functions"),
+ [(print_mapsinfo, "print_quotmaps", "prints out all map functions"),
(print_quotinfo, "print_quotients", "prints out all quotients"),
(print_qconstinfo, "print_quotconsts", "prints out all quotient constants")]