| changeset 51178 | 06689dbfe072 |
| parent 51130 | 76d68444cd59 |
| child 51179 | 0d5f8812856f |
--- a/src/HOL/Sledgehammer.thy Mon Feb 18 11:33:43 2013 +0100 +++ b/src/HOL/Sledgehammer.thy Mon Feb 18 12:16:02 2013 +0100 @@ -11,6 +11,7 @@ keywords "sledgehammer" :: diag and "sledgehammer_params" :: thy_decl begin + ML_file "Tools/Sledgehammer/async_manager.ML" ML_file "Tools/Sledgehammer/sledgehammer_util.ML" ML_file "Tools/Sledgehammer/sledgehammer_fact.ML"