equal
deleted
inserted
replaced
3 |
3 |
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
5 |
5 |
6 New in this Isabelle version |
6 New in this Isabelle version |
7 ---------------------------- |
7 ---------------------------- |
|
8 |
|
9 * (Co)datatype package: |
|
10 - The 'size_gen_o_map' lemma is no longer generated for datatypes |
|
11 with type class annotations. As a result, the tactic that derives |
|
12 it no longer fails on nested datatypes. Slight INCOMPATIBILITY. |
8 |
13 |
9 |
14 |
10 |
15 |
11 New in Isabelle2016-1 (December 2016) |
16 New in Isabelle2016-1 (December 2016) |
12 ------------------------------------- |
17 ------------------------------------- |