--- a/doc-src/TutorialI/free-copies Tue Jun 11 22:53:19 2002 +0200 +++ b/doc-src/TutorialI/free-copies Wed Jun 12 11:06:44 2002 +0200 @@ -60,6 +60,8 @@ James Margetson Robin Milner* +Sara Kalvala + (for contributing comments)