equal
deleted
inserted
replaced
5 |
5 |
6 |
6 |
7 Contributions to this Isabelle version |
7 Contributions to this Isabelle version |
8 -------------------------------------- |
8 -------------------------------------- |
9 |
9 |
|
10 * June 2009: Andreas Lochbihler, Uni Karlsruhe |
|
11 HOL/Library/Fin_Fun: almost everywhere constant functions |
|
12 |
|
13 * June 2009: Florian Haftmann, TUM |
|
14 HOL/Library/Tree: searchtrees implementing mappings, ready to use for code generation |
10 |
15 |
11 Contributions to Isabelle2009 |
16 Contributions to Isabelle2009 |
12 ----------------------------- |
17 ----------------------------- |
13 |
18 |
14 * March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of |
19 * March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of |