changeset 39958 | 88c9aa5666de |
parent 39946 | 78faa9b31202 |
child 40070 | bdb890782d4a |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_filter.ML Tue Oct 05 12:06:08 2010 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_filter.ML Tue Oct 05 12:50:45 2010 +0200 @@ -1,6 +1,8 @@ (* Title: HOL/Tools/Sledgehammer/sledgehammer_filter.ML Author: Jia Meng, Cambridge University Computer Laboratory and NICTA Author: Jasmin Blanchette, TU Muenchen + +Sledgehammer's relevance filter. *) signature SLEDGEHAMMER_FILTER =