src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML
2010-03-19 blanchet 2010-03-19 move the Sledgehammer Isar commands together into one file; this will make easier to add options and reorganize them later