diff -r d9feada9c486 -r ab4a3aef3591 doc-src/TutorialI/free-copies
--- a/doc-src/TutorialI/free-copies	Thu Apr 04 19:43:25 2002 +0200
+++ b/doc-src/TutorialI/free-copies	Mon Apr 08 14:39:16 2002 +0200
@@ -1,4 +1,6 @@
-David Aspinall
+* means: has received copy.
+
+David Aspinall*
 Stefan Berghofer
 David von Oheimb
 Farhad Mehta
@@ -11,38 +13,40 @@
 
 Essential colleagues:
 
-Harald Ganzinger
+Prof. Harald Ganzinger*
+Max-Planck-Institut für Informatik
+Im Stadtwald
+66123 Saarbrücken
 
-Bob Boyer
+Prof. Bob Boyer*
 Department of Computer Sciences
 University of Texas at Austin
 Austin, TX 78712-1188 U.S.A.
 
-J Moore
+Prof. J Moore*
 Department of Computer Sciences
-Taylor Hall 2.124
 University of Texas at Austin
-Austin, TX 78712-1188 U.S.A.
+Austin, TX 78712-1188
+U.S.A.
 
-Frank Pfenning
+Prof. Frank Pfenning*
 Department of Computer Science
-Wean Hall 8117  
 Carnegie Mellon University
-Pittsburgh, PA 15213-3891, U.S.A.
+Pittsburgh, PA 15213-3891
+U.S.A.
 
-Shankar
-      SRI International
-      MS EL256,
-      333 Ravenswood Avenue,
-      Menlo Park, CA, 94025-3493
+Dr. Shankar*
+SRI International
+333 Ravenswood Avenue,
+Menlo Park, CA, 94025-3493
+U.S.A.
 
-
-Prof. Andrei A Voronkov (?)
+Prof. Andrei Voronkov*
 Department of Computer Science
-Manchester University
+The University of Manchester
 Oxford Road
 Manchester M13 9PL
-
+England
 
 Cambridge people:
 Tony Hoare
@@ -55,18 +59,17 @@
 
 (for contributing comments)
 
-dr. Stefano Bistarelli
+dr. Stefano Bistarelli*
 Istituto per le Applicazioni Telematiche
 C.N.R. Pisa
 Area della Ricerca, Via G. Moruzzi, 1
-I-56124 Pisa, Italy
-Stefano.Bistarelli@iat.cnr.it
+56124 Pisa
+Italien
 
-Gergely BUDAY
-H-3200 Gy\"ongy\"os
-Kont biro u. 23.
-HUNGARY
-gergoe@math.bme.hu
+Gergely Buday*
+Karl-Ferlemann Str. 16.
+04177 Leipzig
+
 
 Tanja Vos
 c/ Ing. Joaquin Benlloch 85-Esc A-25
@@ -75,4 +78,11 @@
 
 Further colleagues:
 
-Ursula Martin
+Manfred Broy*
+
+Ursula Martin*
+School of Computer Science 
+University of St Andrews 
+St Andrews KY16 6SS 
+Scotland 
+UK