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