diff -r 1b76cc7ffef7 -r e5d3cdba117e doc-src/TutorialI/free-copies
--- a/doc-src/TutorialI/free-copies	Fri Mar 01 13:07:25 2002 +0100
+++ b/doc-src/TutorialI/free-copies	Fri Mar 01 13:23:10 2002 +0100
@@ -10,10 +10,53 @@
 Essential colleagues:
 
 Harald Ganzinger
+
 Bob Boyer
+Department of Computer Sciences
+University of Texas at Austin
+Austin, TX 78712-1188 U.S.A.
+
 J Moore
-Pfenning
+Department of Computer Sciences
+Taylor Hall 2.124
+University of Texas at Austin
+Austin, TX 78712-1188 U.S.A.
+
+Frank Pfenning
+Department of Computer Science
+Wean Hall 8117  
+Carnegie Mellon University
+Pittsburgh, PA 15213-3891, U.S.A.
+
 Shankar
+      SRI International
+      MS EL256,
+      333 Ravenswood Avenue,
+      Menlo Park, CA, 94025-3493
+
+
+Tony Hoare? (interested in Isabelle)
+MSR Cambridge
+
+(for contributing comments)
+
+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
+
+Gergely BUDAY
+H-3200 Gy\"ongy\"os
+Kont biro u. 23.
+HUNGARY
+gergoe@math.bme.hu
+
+Tanja Vos
+c/ Ing. Joaquin Benlloch 85-Esc A-25
+46026 Valencia
+Spain
 
 Further colleagues: