author | wenzelm |
Tue, 13 Feb 2001 16:31:18 +0100 | |
changeset 11109 | ce1cefc6c14c |
parent 10020 | 46e77dff3970 |
child 13046 | 69ab0e74ccda |
permissions | -rw-r--r-- |
<!-- $Id$ --> %title% Isabelle Distribution Area %body% <p> <h2>Mirror sites (in alphabetical order)</h2> <ul> <li><a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/packages.html">Cambridge (UK)</a> <li><a href="http://isabelle.in.tum.de/dist/packages.html">Munich (Germany)</a> <li><a href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/packages.html">New Jersey (USA)</a> <li><a href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/packages.html">Stanford (USA)</a> </ul>