src/HOL/Tools/Sledgehammer/async_manager.ML
2010-12-07 blanchet 2010-12-07 load "try" after "Metis" and move "Async_Manager" back to Sledgehammer