changeset 38028 | 22dcaec5fa77 |
parent 38027 | 505657ddb047 |
child 38047 | 9033c03cc214 |
--- a/src/HOL/Sledgehammer.thy Tue Jul 27 19:17:15 2010 +0200 +++ b/src/HOL/Sledgehammer.thy Tue Jul 27 19:41:19 2010 +0200 @@ -1,6 +1,6 @@ (* Title: HOL/Sledgehammer.thy Author: Lawrence C. Paulson, Cambridge University Computer Laboratory - Author: Jia Meng, NICTA + Author: Jia Meng, Cambridge University Computer Laboratory and NICTA Author: Fabian Immler, TU Muenchen Author: Jasmin Blanchette, TU Muenchen *)