equal
deleted
inserted
replaced
6 This release significantly improves upon Isabelle2008, see the NEWS |
6 This release significantly improves upon Isabelle2008, see the NEWS |
7 file in the distribution for more details. Some important changes |
7 file in the distribution for more details. Some important changes |
8 are: |
8 are: |
9 |
9 |
10 * Complete re-implementation of locales, with proper support for local |
10 * Complete re-implementation of locales, with proper support for local |
11 syntax, and more robust interpretation mechanism. |
11 syntax, and more general locale expressions. |
12 |
12 |
13 * New 'find_consts' and 'find_theorems' facilities, together with |
13 * New 'find_consts' and 'find_theorems' facilities, together with |
14 "auto solve" feature of toplevel goal statements. |
14 "auto solve" feature of toplevel goal statements. |
15 |
15 |
16 * HOL: reorganization of main logic images. |
16 * HOL: reorganization of main logic images. |