equal
deleted
inserted
replaced
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * 2012: Makarius Wenzel, Université Paris-Sud / LRI |
9 * 2012: Makarius Wenzel, Université Paris-Sud / LRI |
10 Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE. |
10 Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE. |
|
11 |
|
12 * November 2012: Fabian Immler, TUM |
|
13 Proof of the Daniell-Kolmogorov theorem: the existence of the limit of |
|
14 projective families. |
11 |
15 |
12 * October 2012: Andreas Lochbihler, KIT |
16 * October 2012: Andreas Lochbihler, KIT |
13 Efficient construction of red black trees from sorted associative lists. |
17 Efficient construction of red black trees from sorted associative lists. |
14 |
18 |
15 * September 2012: Florian Haftmann, TUM |
19 * September 2012: Florian Haftmann, TUM |