equal
deleted
inserted
replaced
21 dependencies properly. |
21 dependencies properly. |
22 |
22 |
23 * Discontinued obsolete method fastsimp / tactic fast_simp_tac, which |
23 * Discontinued obsolete method fastsimp / tactic fast_simp_tac, which |
24 is called fastforce / fast_force_tac already since Isabelle2011-1. |
24 is called fastforce / fast_force_tac already since Isabelle2011-1. |
25 |
25 |
26 * Updated and extended "isar-ref" manual, reduced remaining material |
26 * Updated and extended "isar-ref" and "implementation" manual, reduced |
27 in old "ref" manual. |
27 remaining material in old "ref" manual. |
28 |
28 |
29 * Improved support for auxiliary contexts indicate block structure for |
29 * Improved support for auxiliary contexts indicate block structure for |
30 specifications: nesting of "context fixes ... context assumes ..." |
30 specifications: nesting of "context fixes ... context assumes ..." |
31 and "class ... context ...". |
31 and "class ... context ...". |
32 |
32 |