equal
deleted
inserted
replaced
9 * (Co)datatype package: |
9 * (Co)datatype package: |
10 - The 'size_gen_o_map' lemma is no longer generated for datatypes |
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 |
11 with type class annotations. As a result, the tactic that derives |
12 it no longer fails on nested datatypes. Slight INCOMPATIBILITY. |
12 it no longer fails on nested datatypes. Slight INCOMPATIBILITY. |
13 |
13 |
14 |
14 * The theorem in Permutations has been renamed: |
|
15 bij_swap_ompose_bij ~> bij_swap_compose_bij |
|
16 |
15 |
17 |
16 New in Isabelle2016-1 (December 2016) |
18 New in Isabelle2016-1 (December 2016) |
17 ------------------------------------- |
19 ------------------------------------- |
18 |
20 |
19 *** General *** |
21 *** General *** |