isabelle: doc-src/TutorialI/free-copies@ab4a3aef3591 (annotated)

13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	1	* means: has received copy.
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	2
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	3	David Aspinall*
12947 3f468029f5da * empty log message * nipkow parents: diff changeset	4	Stefan Berghofer
3f468029f5da * empty log message * nipkow parents: diff changeset	5	David von Oheimb
13054 18570adc60ed added Berhard Rumpe, Farhad Mehta; wenzelm parents: 12994 diff changeset	6	Farhad Mehta
18570adc60ed added Berhard Rumpe, Farhad Mehta; wenzelm parents: 12994 diff changeset	7	Stephan Merz
12947 3f468029f5da * empty log message * nipkow parents: diff changeset	8	Leonor Prensa Nieto
3f468029f5da * empty log message * nipkow parents: diff changeset	9	Cornelia Pusch
13054 18570adc60ed added Berhard Rumpe, Farhad Mehta; wenzelm parents: 12994 diff changeset	10	Bernhard Rumpe (wants a signed copy!)
12947 3f468029f5da * empty log message * nipkow parents: diff changeset	11	Norbert Schirmer
3f468029f5da * empty log message * nipkow parents: diff changeset	12	Martin Strecker
12948 2e22321e34ea * empty log message * nipkow parents: 12947 diff changeset	13
12950 3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	14	Essential colleagues:
3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	15
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	16	Prof. Harald Ganzinger*
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	17	Max-Planck-Institut f�r Informatik
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	18	Im Stadtwald
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	19	66123 Saarbr�cken
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	20
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	21	Prof. Bob Boyer*
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	22	Department of Computer Sciences
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	23	University of Texas at Austin
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	24	Austin, TX 78712-1188 U.S.A.
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	25
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	26	Prof. J Moore*
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	27	Department of Computer Sciences
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	28	University of Texas at Austin
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	29	Austin, TX 78712-1188
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	30	U.S.A.
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	31
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	32	Prof. Frank Pfenning*
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	33	Department of Computer Science
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	34	Carnegie Mellon University
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	35	Pittsburgh, PA 15213-3891
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	36	U.S.A.
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	37
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	38	Dr. Shankar*
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	39	SRI International
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	40	333 Ravenswood Avenue,
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	41	Menlo Park, CA, 94025-3493
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	42	U.S.A.
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	43
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	44	Prof. Andrei Voronkov*
13060 f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	45	Department of Computer Science
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	46	The University of Manchester
13060 f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	47	Oxford Road
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	48	Manchester M13 9PL
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	49	England
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	50
13060 f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	51	Cambridge people:
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	52	Tony Hoare
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	53	Mike Gordon
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	54	Sidi Ehmety
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	55	Frederic Blanqui
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	56	James Margetson
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	57	Robin Milner
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	58
13055 cc37a0778581 * empty log message * nipkow parents: 13054 diff changeset	59
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	60	(for contributing comments)
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	61
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	62	dr. Stefano Bistarelli*
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	63	Istituto per le Applicazioni Telematiche
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	64	C.N.R. Pisa
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	65	Area della Ricerca, Via G. Moruzzi, 1
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	66	56124 Pisa
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	67	Italien
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	68
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	69	Gergely Buday*
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	70	Karl-Ferlemann Str. 16.
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	71	04177 Leipzig
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	72
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	73
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	74	Tanja Vos
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	75	c/ Ing. Joaquin Benlloch 85-Esc A-25
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	76	46026 Valencia
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	77	Spain
12950 3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	78
3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	79	Further colleagues:
3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	80
13081 ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	81	Manfred Broy*
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	82
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	83	Ursula Martin*
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	84	School of Computer Science
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	85	University of St Andrews
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	86	St Andrews KY16 6SS
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	87	Scotland
ab4a3aef3591 * empty log message * nipkow parents: 13060 diff changeset	88	UK

author	nipkow
	Mon, 08 Apr 2002 14:39:16 +0200
changeset 13081	ab4a3aef3591
parent 13060	f6442b87b5f8
child 13082	8f5d8751f401
permissions	-rw-r--r--