src/Pure/Tools/find_theorems.ML

--- a/src/Pure/Tools/find_theorems.ML	Sat May 15 23:32:15 2010 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Sat May 15 23:40:00 2010 +0200
@@ -483,7 +483,7 @@
 in
 
 val _ =
-  OuterSyntax.improper_command "find_theorems" "print theorems meeting specified criteria"
+  Outer_Syntax.improper_command "find_theorems" "print theorems meeting specified criteria"
     Keyword.diag
     (options -- Scan.repeat (((Scan.option Parse.minus >> is_none) -- criterion))
       >> (Toplevel.no_timing oo find_theorems_cmd));