equal
deleted
inserted
replaced
3 who is listed as an author in one of the source files of this Isabelle |
3 who is listed as an author in one of the source files of this Isabelle |
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * April 2010, Florian Haftmann, TUM |
|
10 Reorganization of abstract algebra type classes. |
|
11 |
|
12 * April 2010, Florian Haftmann, TUM |
|
13 Code generation for data representations involving invariants; |
|
14 various collections avaiable in theories Fset, Dlist, RBT, |
|
15 Mapping and AssocList. |
8 |
16 |
9 |
17 |
10 Contributions to Isabelle2009-1 |
18 Contributions to Isabelle2009-1 |
11 ------------------------------- |
19 ------------------------------- |
12 |
20 |