changeset 39958 | 88c9aa5666de |
parent 39953 | aa54f347e5e2 |
child 39959 | 12eb8fe15b00 |
--- a/src/HOL/Tools/Metis/metis_tactics.ML Tue Oct 05 12:06:08 2010 +0200 +++ b/src/HOL/Tools/Metis/metis_tactics.ML Tue Oct 05 12:50:45 2010 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Tools/Sledgehammer/metis_tactics.ML +(* Title: HOL/Tools/Metis/metis_tactics.ML Author: Kong W. Susanto, Cambridge University Computer Laboratory Author: Lawrence C. Paulson, Cambridge University Computer Laboratory Author: Jasmin Blanchette, TU Muenchen