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 * October 2010: Bogdan Grechuk, University of Edinburgh |
|
10 Extended convex analysis in Multivariate Analysis. |
|
11 |
9 * October 2010: Dmitriy Traytel, TUM |
12 * October 2010: Dmitriy Traytel, TUM |
10 Coercive subtyping via subtype constraints. |
13 Coercive subtyping via subtype constraints. |
11 |
14 |
12 * September 2010: Florian Haftmann, TUM |
15 * September 2010: Florian Haftmann, TUM |
13 Refined concepts for evaluation, i.e. normalisation of terms using different techniques. |
16 Refined concepts for evaluation, i.e. normalisation of terms using different techniques. |
18 * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM |
21 * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM |
19 Rewriting the Probability theory. |
22 Rewriting the Probability theory. |
20 |
23 |
21 * July 2010: Florian Haftmann, TUM |
24 * July 2010: Florian Haftmann, TUM |
22 Reworking and extension of the Imperative HOL framework. |
25 Reworking and extension of the Imperative HOL framework. |
23 |
|
24 * October 2010: Bogdan Grechuck, University of Edinburgh |
|
25 Extended convex analysis in Multivariate Analysis |
|
26 |
26 |
27 |
27 |
28 Contributions to Isabelle2009-2 |
28 Contributions to Isabelle2009-2 |
29 -------------------------------------- |
29 -------------------------------------- |
30 |
30 |