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