tuned comment
authorblanchet
Fri Jan 31 10:23:32 2014 +0100 (2014-01-31)
changeset 55200777328c9f1ea
parent 55199 ba93ef2c0d27
child 55201 1ee776da8da7
tuned comment
src/Pure/Tools/sledgehammer_params.scala
     1.1 --- a/src/Pure/Tools/sledgehammer_params.scala	Fri Jan 31 10:23:32 2014 +0100
     1.2 +++ b/src/Pure/Tools/sledgehammer_params.scala	Fri Jan 31 10:23:32 2014 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4      Author:     Makarius
     1.5  
     1.6  Protocol for Sledgehammer parameters from ML (see also
     1.7 -HOL/Tools/Sledgehammer/sledgehammer_isar.ML).  */
     1.8 +HOL/Tools/Sledgehammer/sledgehammer_commands.ML).  */
     1.9  
    1.10  package isabelle
    1.11