equal
deleted
inserted
replaced
11 |
11 |
12 <ul> |
12 <ul> |
13 |
13 |
14 <li> <a |
14 <li> <a |
15 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/packages.html">Cambridge |
15 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/packages.html">Cambridge |
16 (UK)</a> <br> </li> |
16 (UK)</a> |
17 |
17 |
18 <li> <a href="http://isabelle.in.tum.de/dist/packages.html">Munich |
18 <li> <a href="http://isabelle.in.tum.de/dist/packages.html">Munich |
19 (Germany)</a> <br> </li> |
19 (Germany)</a> |
20 |
20 |
21 <li> <a |
21 <li> <a |
22 href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/packages.html">New |
22 href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/packages.html">New |
23 Jersey (USA)</a> <br> </li> |
23 Jersey (USA)</a> |
24 |
24 |
25 <li> <a |
25 <li> <a |
26 href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/packages.html">Stanford |
26 href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/packages.html">Stanford |
27 (USA)</a> <br> </li> |
27 (USA)</a> |
28 |
28 |
29 </ul> |
29 </ul> |