changeset 44219 | 6c008d3efb0a |
parent 44218 | 597f31069e18 |
child 44431 | 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"),