src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML
changeset 43353 6c008d3efb0a
parent 43352 597f31069e18
child 43569 b342cd125533
     1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jun 10 12:01:15 2011 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jun 10 12:01:15 2011 +0200
     1.3 @@ -102,9 +102,7 @@
     1.4     ("preplay_timeout", "4")]
     1.5  
     1.6  val alias_params =
     1.7 -  [("prover", "provers"),
     1.8 -   ("atps", "provers"), (* FIXME: legacy *)
     1.9 -   ("atp", "provers")]  (* FIXME: legacy *)
    1.10 +  [("prover", "provers")]
    1.11  val negated_alias_params =
    1.12    [("no_debug", "debug"),
    1.13     ("quiet", "verbose"),