equal
deleted
inserted
replaced
18 * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM |
18 * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM |
19 Rewriting the Probability theory. |
19 Rewriting the Probability theory. |
20 |
20 |
21 * July 2010: Florian Haftmann, TUM |
21 * July 2010: Florian Haftmann, TUM |
22 Reworking and extension of the Imperative HOL framework. |
22 Reworking and extension of the Imperative HOL framework. |
|
23 |
|
24 * October 2010: Bogdan Grechuck, University of Edinburgh |
|
25 Extended convex analysis in Multivariate Analysis |
23 |
26 |
24 |
27 |
25 Contributions to Isabelle2009-2 |
28 Contributions to Isabelle2009-2 |
26 -------------------------------------- |
29 -------------------------------------- |
27 |
30 |