changeset 36393 | be73a2b2443b |
parent 36227 | 8987f7a9afef |
child 36473 | 8a5c99a1c965 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_fact_filter.ML Sun Apr 25 10:22:31 2010 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_fact_filter.ML Sun Apr 25 11:38:46 2010 +0200 @@ -1,5 +1,6 @@ (* Title: HOL/Tools/Sledgehammer/sledgehammer_fact_filter.ML Author: Jia Meng, Cambridge University Computer Laboratory, NICTA + Author: Jasmin Blanchette, TU Muenchen *) signature SLEDGEHAMMER_FACT_FILTER =