doc-src/TutorialI/free-copies
changeset 13210 254b3967ac12
parent 13127 1865e8004fd8
child 13238 a6cb18a25cbb
     1.1 --- a/doc-src/TutorialI/free-copies	Tue Jun 11 22:53:19 2002 +0200
     1.2 +++ b/doc-src/TutorialI/free-copies	Wed Jun 12 11:06:44 2002 +0200
     1.3 @@ -60,6 +60,8 @@
     1.4  James Margetson
     1.5  Robin Milner*
     1.6  
     1.7 +Sara Kalvala
     1.8 +
     1.9  
    1.10  (for contributing comments)
    1.11