src/Tools/try.ML
2011-05-27 blanchet 2011-05-27 added "try" command, to launch Solve Direct, Quickcheck, Nitpick, Sledgehammer, and Try Methods
2011-05-27 blanchet 2011-05-27 renamed "Auto_Tools" "Try"