# HG changeset patch
# User paulson
# Date 1016123747 -3600
# Node ID f6442b87b5f89d636929bc3ec26e7bd917422658
# Parent  d78d2089e1638c73800f78f9c0d37e9cae3e6d15
cambridge

diff -r d78d2089e163 -r f6442b87b5f8 doc-src/TutorialI/free-copies
--- 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)