# HG changeset patch
# User nipkow
# Date 1014727639 -3600
# Node ID 3aadb133632d2fcbdc5efc2112ad30c6a7ca2ab9
# Parent  b94843ffc0d102a2f50f9974929ab504ddd38488
*** empty log message ***

diff -r b94843ffc0d1 -r 3aadb133632d doc-src/TutorialI/free-copies
--- 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