equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
|
9 * September 2010: Florian Haftmann, TUM |
|
10 Code generation for Scala. |
|
11 |
9 * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM |
12 * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM |
10 Rewriting the Probability theory. |
13 Rewriting the Probability theory. |
11 |
14 |
12 * July 2010: Florian Haftmann, TUM |
15 * July 2010: Florian Haftmann, TUM |
13 Reworking and extension of the Isabelle/HOL framework. |
16 Reworking and extension of the Imperative HOL framework. |
14 |
17 |
15 |
18 |
16 Contributions to Isabelle2009-2 |
19 Contributions to Isabelle2009-2 |
17 -------------------------------------- |
20 -------------------------------------- |
18 |
21 |
84 |
87 |
85 * July 2009: Florian Haftmann, TUM |
88 * July 2009: Florian Haftmann, TUM |
86 New quickcheck implementation using new code generator. |
89 New quickcheck implementation using new code generator. |
87 |
90 |
88 * July 2009: Florian Haftmann, TUM |
91 * July 2009: Florian Haftmann, TUM |
89 HOL/Library/FSet: an explicit type of sets; finite sets ready to use |
92 HOL/Library/Fset: an explicit type of sets; finite sets ready to use |
90 for code generation. |
93 for code generation. |
91 |
94 |
92 * June 2009: Florian Haftmann, TUM |
95 * June 2009: Florian Haftmann, TUM |
93 HOL/Library/Tree: search trees implementing mappings, ready to use |
96 HOL/Library/Tree: search trees implementing mappings, ready to use |
94 for code generation. |
97 for code generation. |