Cambridge

--- a/doc-src/TutorialI/free-copies	Thu May 09 17:51:19 2002 +0200
+++ b/doc-src/TutorialI/free-copies	Thu May 09 17:59:46 2002 +0200
@@ -54,11 +54,11 @@
 
 Cambridge people:
 Tony Hoare
-Mike Gordon
+Mike Gordon*
 Sidi Ehmety
-Frederic Blanqui
+Frederic Blanqui*
 James Margetson
-Robin Milner
+Robin Milner*
 
 
 (for contributing comments)