--- a/doc-src/TutorialI/free-copies Mon Mar 11 20:59:12 2002 +0100
+++ b/doc-src/TutorialI/free-copies Tue Mar 12 15:18:45 2002 +0100
@@ -40,6 +40,8 @@
Tony Hoare? (interested in Isabelle)
MSR Cambridge
+Voronkov
+
(for contributing comments)
dr. Stefano Bistarelli