equal
deleted
inserted
replaced
37 |
37 |
38 * Presentation and x-symbol enhancements, greek letters and sub/superscripts |
38 * Presentation and x-symbol enhancements, greek letters and sub/superscripts |
39 allowed in identifiers. |
39 allowed in identifiers. |
40 |
40 |
41 |
41 |
42 You may get Isabelle2003 from the following mirror sites: |
42 You may get Isabelle2004 from the following mirror sites: |
43 |
43 |
44 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ |
44 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ |
45 Munich (Germany) http://isabelle.in.tum.de/dist/ |
45 Munich (Germany) http://isabelle.in.tum.de/dist/ |
|
46 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/ |
46 |
47 |
47 Gerwin Klein |
48 Gerwin Klein |
48 Tobias Nipkow |
49 Tobias Nipkow |
49 Larry Paulson |
50 Larry Paulson |