changeset 39958 | 88c9aa5666de |
parent 39953 | aa54f347e5e2 |
child 39962 | d42ddd7407ca |
--- a/src/HOL/Tools/Metis/metis_translate.ML Tue Oct 05 12:06:08 2010 +0200 +++ b/src/HOL/Tools/Metis/metis_translate.ML Tue Oct 05 12:50:45 2010 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Tools/Sledgehammer/metis_translate.ML +(* Title: HOL/Tools/Metis/metis_translate.ML Author: Jia Meng, Cambridge University Computer Laboratory and NICTA Author: Kong W. Susanto, Cambridge University Computer Laboratory Author: Lawrence C. Paulson, Cambridge University Computer Laboratory