--- a/doc-src/TutorialI/free-copies Tue Feb 26 13:37:48 2002 +0100
+++ b/doc-src/TutorialI/free-copies Tue Feb 26 13:47:19 2002 +0100
@@ -7,7 +7,14 @@
Martin Strecker
Stephan Merz
+Essential colleagues:
+
Harald Ganzinger
Bob Boyer
J Moore
+Pfenning
Shankar
+
+Further colleagues:
+
+Ursula Martin