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

author	blanchet
	Tue, 17 Feb 2009 14:01:54 +0100
changeset 29956	62f931b257b7
parent 13238	a6cb18a25cbb
permissions	-rw-r--r--