equal
deleted
inserted
replaced
30 |
30 |
31 * General high-level support for concurrent ML programming. |
31 * General high-level support for concurrent ML programming. |
32 |
32 |
33 * Parallel proof checking within Isar theories. |
33 * Parallel proof checking within Isar theories. |
34 |
34 |
|
35 * Haskabelle importer from Haskell source files to Isar theories. |
|
36 |
35 |
37 |
36 You may get Isabelle2009 from the following mirror sites: |
38 You may get Isabelle2009 from the following mirror sites: |
37 |
39 |
38 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/ |
40 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/ |
39 Munich (Germany) http://isabelle.in.tum.de/ |
41 Munich (Germany) http://isabelle.in.tum.de/ |