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