changeset 17570 | 92958a0b834c |
parent 17569 | c1143a96f6d7 |
child 17571 | 5f83a635dce0 |
17569:c1143a96f6d7 | 17570:92958a0b834c |
---|---|
1 |
|
2 * Cambridge (UK) |
|
3 http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ |
|
4 |
|
5 * Munich (Germany) |
|
6 http://isabelle.in.tum.de/dist/ |
|
7 |
|
8 * New Jersey (USA) |
|
9 http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html |
|
10 Dave MacQueen <dbm@research.bell-labs.com> |