equal
deleted
inserted
replaced
22 * HOL: numerous library refinements and enhancements. |
22 * HOL: numerous library refinements and enhancements. |
23 |
23 |
24 * New proof method "rewrite" for single-step rewriting with subterm |
24 * New proof method "rewrite" for single-step rewriting with subterm |
25 selection based on patterns. |
25 selection based on patterns. |
26 |
26 |
|
27 * New Eisbach proof method language and "match" method. |
|
28 |
27 * Updated manuals: datatypes, implementation, isar-ref, jedit, sledgehammer, |
29 * Updated manuals: datatypes, implementation, isar-ref, jedit, sledgehammer, |
28 system. |
30 system. |
29 |
31 |
30 |
32 |
31 You may get Isabelle2015 from the following mirror sites: |
33 You may get Isabelle2015 from the following mirror sites: |