equal
deleted
inserted
replaced
24 * Major internal reorganizations and performance improvements. |
24 * Major internal reorganizations and performance improvements. |
25 |
25 |
26 |
26 |
27 You may get Isabelle2005 from the following mirror sites: |
27 You may get Isabelle2005 from the following mirror sites: |
28 |
28 |
29 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ |
29 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ |
30 Munich (Germany) http://isabelle.in.tum.de/dist/ |
30 Munich (Germany) http://isabelle.in.tum.de/ |
31 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/ |
31 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/ |