src/Pure/Tools/find_theorems.ML
changeset 36953 2af1ad9aa1a3
parent 36950 75b8f26f2f07
child 38334 c677c2c1d333
     1.1 --- a/src/Pure/Tools/find_theorems.ML	Sat May 15 23:32:15 2010 +0200
     1.2 +++ b/src/Pure/Tools/find_theorems.ML	Sat May 15 23:40:00 2010 +0200
     1.3 @@ -483,7 +483,7 @@
     1.4  in
     1.5  
     1.6  val _ =
     1.7 -  OuterSyntax.improper_command "find_theorems" "print theorems meeting specified criteria"
     1.8 +  Outer_Syntax.improper_command "find_theorems" "print theorems meeting specified criteria"
     1.9      Keyword.diag
    1.10      (options -- Scan.repeat (((Scan.option Parse.minus >> is_none) -- criterion))
    1.11        >> (Toplevel.no_timing oo find_theorems_cmd));