cambridge

--- a/doc-src/TutorialI/free-copies	Thu Mar 14 16:48:54 2002 +0100
+++ b/doc-src/TutorialI/free-copies	Thu Mar 14 17:35:47 2002 +0100
@@ -37,10 +37,21 @@
       Menlo Park, CA, 94025-3493
 
 
-Tony Hoare? (interested in Isabelle)
-MSR Cambridge
+Prof. Andrei A Voronkov (?)
+Department of Computer Science
+Manchester University
+Oxford Road
+Manchester M13 9PL
+
 
-Voronkov
+Cambridge people:
+Tony Hoare
+Mike Gordon
+Sidi Ehmety
+Frederic Blanqui
+James Margetson
+Robin Milner
+
 
 (for contributing comments)