src/HOL/Sledgehammer.thy

--- a/src/HOL/Sledgehammer.thy	Tue Jul 27 18:50:22 2010 +0200
+++ b/src/HOL/Sledgehammer.thy	Tue Jul 27 19:17:15 2010 +0200
@@ -1,5 +1,5 @@
 (*  Title:      HOL/Sledgehammer.thy
-    Author:     Lawrence C Paulson
+    Author:     Lawrence C. Paulson, Cambridge University Computer Laboratory
     Author:     Jia Meng, NICTA
     Author:     Fabian Immler, TU Muenchen
     Author:     Jasmin Blanchette, TU Muenchen