doc-src/TutorialI/free-copies

unused_thms: show only results from 'theorem(s)' package (via old-style kinds);
misc tuning -- slightly less hermetic names;

* 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