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

12947 3f468029f5da * empty log message * nipkow parents: diff changeset	1	David Aspinall
3f468029f5da * empty log message * nipkow parents: diff changeset	2	Stefan Berghofer
3f468029f5da * empty log message * nipkow parents: diff changeset	3	David von Oheimb
13054 18570adc60ed added Berhard Rumpe, Farhad Mehta; wenzelm parents: 12994 diff changeset	4	Farhad Mehta
18570adc60ed added Berhard Rumpe, Farhad Mehta; wenzelm parents: 12994 diff changeset	5	Stephan Merz
12947 3f468029f5da * empty log message * nipkow parents: diff changeset	6	Leonor Prensa Nieto
3f468029f5da * empty log message * nipkow parents: diff changeset	7	Cornelia Pusch
13054 18570adc60ed added Berhard Rumpe, Farhad Mehta; wenzelm parents: 12994 diff changeset	8	Bernhard Rumpe (wants a signed copy!)
12947 3f468029f5da * empty log message * nipkow parents: diff changeset	9	Norbert Schirmer
3f468029f5da * empty log message * nipkow parents: diff changeset	10	Martin Strecker
12948 2e22321e34ea * empty log message * nipkow parents: 12947 diff changeset	11
12950 3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	12	Essential colleagues:
3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	13
12948 2e22321e34ea * empty log message * nipkow parents: 12947 diff changeset	14	Harald Ganzinger
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	15
12948 2e22321e34ea * empty log message * nipkow parents: 12947 diff changeset	16	Bob Boyer
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	17	Department of Computer Sciences
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	18	University of Texas at Austin
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	19	Austin, TX 78712-1188 U.S.A.
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	20
12948 2e22321e34ea * empty log message * nipkow parents: 12947 diff changeset	21	J Moore
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	22	Department of Computer Sciences
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	23	Taylor Hall 2.124
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	24	University of Texas at Austin
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	25	Austin, TX 78712-1188 U.S.A.
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	26
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	27	Frank Pfenning
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	28	Department of Computer Science
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	29	Wean Hall 8117
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	30	Carnegie Mellon University
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	31	Pittsburgh, PA 15213-3891, U.S.A.
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	32
12948 2e22321e34ea * empty log message * nipkow parents: 12947 diff changeset	33	Shankar
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	34	SRI International
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	35	MS EL256,
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	36	333 Ravenswood Avenue,
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	37	Menlo Park, CA, 94025-3493
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	38
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	39
13060 f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	40	Prof. Andrei A Voronkov (?)
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	41	Department of Computer Science
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	42	Manchester University
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	43	Oxford Road
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	44	Manchester M13 9PL
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	45
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	46
13060 f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	47	Cambridge people:
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	48	Tony Hoare
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	49	Mike Gordon
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	50	Sidi Ehmety
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	51	Frederic Blanqui
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	52	James Margetson
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	53	Robin Milner
f6442b87b5f8 cambridge paulson parents: 13055 diff changeset	54
13055 cc37a0778581 * empty log message * nipkow parents: 13054 diff changeset	55
12994 e5d3cdba117e some addresses paulson parents: 12950 diff changeset	56	(for contributing comments)
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	57
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	58	dr. Stefano Bistarelli
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	59	Istituto per le Applicazioni Telematiche
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	60	C.N.R. Pisa
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	61	Area della Ricerca, Via G. Moruzzi, 1
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	62	I-56124 Pisa, Italy
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	63	Stefano.Bistarelli@iat.cnr.it
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	64
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	65	Gergely BUDAY
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	66	H-3200 Gy\"ongy\"os
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	67	Kont biro u. 23.
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	68	HUNGARY
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	69	gergoe@math.bme.hu
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	70
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	71	Tanja Vos
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	72	c/ Ing. Joaquin Benlloch 85-Esc A-25
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	73	46026 Valencia
e5d3cdba117e some addresses paulson parents: 12950 diff changeset	74	Spain
12950 3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	75
3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	76	Further colleagues:
3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	77
3aadb133632d * empty log message * nipkow parents: 12948 diff changeset	78	Ursula Martin

author	paulson
	Thu, 14 Mar 2002 17:35:47 +0100
changeset 13060	f6442b87b5f8
parent 13055	cc37a0778581
child 13081	ab4a3aef3591
permissions	-rw-r--r--