# HG changeset patch
# User nipkow
# Date 1015942725 -3600
# Node ID cc37a0778581215274a788806a58a87b6268d837
# Parent  18570adc60ed18365acf8b6ab2945dd3beee8478
*** empty log message ***

diff -r 18570adc60ed -r cc37a0778581 doc-src/TutorialI/free-copies
--- 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