1.1 --- a/doc-src/TutorialI/free-copies	Thu Mar 14 16:48:54 2002 +0100
     1.2 +++ b/doc-src/TutorialI/free-copies	Thu Mar 14 17:35:47 2002 +0100
     1.3 @@ -37,10 +37,21 @@
     1.4        Menlo Park, CA, 94025-3493
     1.5  
     1.6  
     1.7 -Tony Hoare? (interested in Isabelle)
     1.8 -MSR Cambridge
     1.9 +Prof. Andrei A Voronkov (?)
    1.10 +Department of Computer Science
    1.11 +Manchester University
    1.12 +Oxford Road
    1.13 +Manchester M13 9PL
    1.14  
    1.15 -Voronkov
    1.16 +
    1.17 +Cambridge people:
    1.18 +Tony Hoare
    1.19 +Mike Gordon
    1.20 +Sidi Ehmety
    1.21 +Frederic Blanqui
    1.22 +James Margetson
    1.23 +Robin Milner
    1.24 +
    1.25  
    1.26  (for contributing comments)
    1.27