changeset 46950 | d0181abdbdac |
parent 43085 | 0a2f5b86bdd7 |
child 48250 | 1065c307fafe |
--- a/src/HOL/Sledgehammer.thy Thu Mar 15 20:07:00 2012 +0100 +++ b/src/HOL/Sledgehammer.thy Thu Mar 15 22:08:53 2012 +0100 @@ -8,6 +8,7 @@ theory Sledgehammer imports ATP SMT +keywords "sledgehammer" :: diag and "sledgehammer_params" :: thy_decl uses "Tools/Sledgehammer/async_manager.ML" "Tools/Sledgehammer/sledgehammer_util.ML" "Tools/Sledgehammer/sledgehammer_filter.ML"