equal
deleted
inserted
replaced
35 MS EL256, |
35 MS EL256, |
36 333 Ravenswood Avenue, |
36 333 Ravenswood Avenue, |
37 Menlo Park, CA, 94025-3493 |
37 Menlo Park, CA, 94025-3493 |
38 |
38 |
39 |
39 |
40 Tony Hoare? (interested in Isabelle) |
40 Prof. Andrei A Voronkov (?) |
41 MSR Cambridge |
41 Department of Computer Science |
|
42 Manchester University |
|
43 Oxford Road |
|
44 Manchester M13 9PL |
42 |
45 |
43 Voronkov |
46 |
|
47 Cambridge people: |
|
48 Tony Hoare |
|
49 Mike Gordon |
|
50 Sidi Ehmety |
|
51 Frederic Blanqui |
|
52 James Margetson |
|
53 Robin Milner |
|
54 |
44 |
55 |
45 (for contributing comments) |
56 (for contributing comments) |
46 |
57 |
47 dr. Stefano Bistarelli |
58 dr. Stefano Bistarelli |
48 Istituto per le Applicazioni Telematiche |
59 Istituto per le Applicazioni Telematiche |