* Pure/TheoryDataFun: change of the argument structure;
* Pure/TheoryDataFun: change of the argument structure -- got rid of Sign.sg;
* 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