equal
deleted
inserted
replaced
22 |
22 |
23 <li> <a |
23 <li> <a |
24 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge |
24 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge |
25 (UK)</a> |
25 (UK)</a> |
26 |
26 |
27 <li> <a |
27 <li> <a href="http://ciumix.ci.uminho.pt/mirrors/isabelle/">Minho |
28 href="ftp://ftp.ci.uminho.pt/pub/mirrors/isabelle/index.html">Minho |
|
29 (Portugal)</a> |
28 (Portugal)</a> |
30 |
29 |
31 <li> <a |
30 <li> <a |
32 href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich |
31 href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich |
33 (Germany)</a> |
32 (Germany)</a> |