equal
deleted
inserted
replaced
17 |
17 |
18 theory <name> = <theory1> + ... + <theoryN>: |
18 theory <name> = <theory1> + ... + <theoryN>: |
19 |
19 |
20 will disappear in the next release. Use isatool fixheaders to convert |
20 will disappear in the next release. Use isatool fixheaders to convert |
21 existing theory files. Note that there is no change in ancient |
21 existing theory files. Note that there is no change in ancient |
22 non-Isar theories now, but these are likely to disappear soon. |
22 non-Isar theories. |
23 |
23 |
24 * Theory loader: parent theories can now also be referred to via |
24 * Theory loader: parent theories can now also be referred to via |
25 relative and absolute paths. |
25 relative and absolute paths. |
26 |
26 |
27 * Improved version of thms_containing searches for a list of criteria |
27 * Improved version of thms_containing searches for a list of criteria |