| author | wenzelm |
| Thu, 10 Feb 2000 20:52:59 +0100 | |
| changeset 8230 | 6f8aa407bcf9 |
| parent 6537 | b1288c5e599c |
| child 9048 | 3add5cfc89c2 |
| permissions | -rw-r--r-- |
* Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ * Minho (Portugal) -- CURRENTLY DISABLED http://ciumix.ci.uminho.pt/mirrors/isabelle/ archive@ci.uminho.pt, sergio@ci.uminho.pt * Munich (Germany) http://isabelle.in.tum.de/dist/ * New Jersey (USA) ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html Dave MacQueen <dbm@research.bell-labs.com>