--- 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