--- a/doc-src/TutorialI/free-copies Tue Aug 28 14:37:57 2012 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,94 +0,0 @@
-* means: has received copy.
-
-David Aspinall*
-Clemens Ballarin*
-Gertrud Bauer*
-Stefan Berghofer*
-Gerwin Klein*
-David von Oheimb*
-Farhad Mehta*
-Stephan Merz*
-Leonor Prensa Nieto*
-Cornelia Pusch
-Bernhard Rumpe (wants a signed copy!)*
-Norbert Schirmer*
-Martin Strecker*
-Ralf Steinbrueggen*
-
-Essential colleagues:
-
-Prof. Harald Ganzinger*
-Max-Planck-Institut für Informatik
-Im Stadtwald
-66123 Saarbrücken
-
-Prof. Bob Boyer*
-Department of Computer Sciences
-University of Texas at Austin
-Austin, TX 78712-1188 U.S.A.
-
-Prof. J Moore*
-Department of Computer Sciences
-University of Texas at Austin
-Austin, TX 78712-1188
-U.S.A.
-
-Prof. Frank Pfenning*
-Department of Computer Science
-Carnegie Mellon University
-Pittsburgh, PA 15213-3891
-U.S.A.
-
-Dr. Shankar*
-SRI International
-333 Ravenswood Avenue,
-Menlo Park, CA, 94025-3493
-U.S.A.
-
-Prof. Andrei Voronkov*
-Department of Computer Science
-The University of Manchester
-Oxford Road
-Manchester M13 9PL
-England
-
-Cambridge people:
-Tony Hoare
-Mike Gordon*
-Sidi Ehmety
-Frederic Blanqui*
-James Margetson
-Robin Milner*
-
-Sara Kalvala
-
-
-(for contributing comments)
-
-dr. Stefano Bistarelli*
-Istituto per le Applicazioni Telematiche
-C.N.R. Pisa
-Area della Ricerca, Via G. Moruzzi, 1
-56124 Pisa
-Italien
-
-Gergely Buday*
-Karl-Ferlemann Str. 16.
-04177 Leipzig
-
-
-Tanja Vos*
-C/ Ing. Joaquin Benlloch 85-Esc A-25
-46026 Valencia
-Spain
-
-Further colleagues:
-
-Manfred Broy*
-
-Ursula Martin*
-School of Computer Science
-University of St Andrews
-St Andrews KY16 6SS
-Scotland
-UK