diff -r 37471d84d353 -r c5f6726d9bb1 src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Fri May 27 13:51:32 2005 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Fri May 27 16:24:48 2005 +0200
@@ -598,7 +598,7 @@
 
 val print_registrationsP =
   OuterSyntax.improper_command "print_interps"
-    "print interpretations of named locale in this theory" K.diag
+    "print interpretations of named locale" K.diag
     (P.xname >> (Toplevel.no_timing oo IsarCmd.print_registrations));
 
 val print_attributesP =