1 For the purposes of the license agreement in the file COPYRIGHT, a |
1 For the purposes of the license agreement in the file COPYRIGHT, a |
2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or |
2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or |
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 Isabelle2009-2 |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * April 2010, Florian Haftmann, TUM |
9 * April 2010: Florian Haftmann, TUM |
10 Reorganization of abstract algebra type classes. |
10 Reorganization of abstract algebra type classes. |
11 |
11 |
12 * April 2010, Florian Haftmann, TUM |
12 * April 2010: Florian Haftmann, TUM |
13 Code generation for data representations involving invariants; |
13 Code generation for data representations involving invariants; |
14 various collections avaiable in theories Fset, Dlist, RBT, |
14 various collections avaiable in theories Fset, Dlist, RBT, |
15 Mapping and AssocList. |
15 Mapping and AssocList. |
|
16 |
|
17 * March 2010: Sascha Boehme, TUM |
|
18 Efficient SHA1 library for Poly/ML. |
16 |
19 |
17 |
20 |
18 Contributions to Isabelle2009-1 |
21 Contributions to Isabelle2009-1 |
19 ------------------------------- |
22 ------------------------------- |
20 |
23 |