src/HOL/Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML
2010-10-22 blanchet 2010-10-22 tuning
2010-10-22 blanchet 2010-10-22 compile
2010-10-22 blanchet 2010-10-22 fixed signature of "is_smt_solver_installed"; renaming
2010-10-22 blanchet 2010-10-22 renamed modules
2010-10-22 blanchet 2010-10-22 renamed files