equal
deleted
inserted
replaced
30 You may get Isabelle2016 from the following mirror sites: |
30 You may get Isabelle2016 from the following mirror sites: |
31 |
31 |
32 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle |
32 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle |
33 Munich (Germany) http://isabelle.in.tum.de |
33 Munich (Germany) http://isabelle.in.tum.de |
34 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle |
34 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle |
|
35 Potsdam, NY (USA) http://mirror.clarkson.edu/isabelle |