equal
deleted
inserted
replaced
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 |
11 |
12 * November 2012: Fabian Immler, TUM |
12 * November 2012: Fabian Immler, TUM |
13 Proof of the Daniell-Kolmogorov theorem: the existence of the limit of |
13 "Symbols" dockable for Isabelle/jEdit. |
14 projective families. |
14 |
|
15 * November 2012: Fabian Immler, TUM |
|
16 Proof of the Daniell-Kolmogorov theorem: the existence of the limit |
|
17 of projective families. |
15 |
18 |
16 * October 2012: Andreas Lochbihler, KIT |
19 * October 2012: Andreas Lochbihler, KIT |
17 Efficient construction of red black trees from sorted associative lists. |
20 Efficient construction of red-black trees from sorted associative |
|
21 lists. |
18 |
22 |
19 * September 2012: Florian Haftmann, TUM |
23 * September 2012: Florian Haftmann, TUM |
20 Lattice instances for type option. |
24 Lattice instances for type option. |
21 |
25 |
22 * September 2012: Christian Sternagel, JAIST |
26 * September 2012: Christian Sternagel, JAIST |