equal
deleted
inserted
replaced
5 |
5 |
6 |
6 |
7 Contributions to Isabelle2009-1 |
7 Contributions to Isabelle2009-1 |
8 ------------------------------- |
8 ------------------------------- |
9 |
9 |
|
10 * November 2009, Brian Huffman, PSU |
|
11 New definitional domain package for HOLCF. |
|
12 |
10 * November 2009: Robert Himmelmann, TUM |
13 * November 2009: Robert Himmelmann, TUM |
11 Derivation and Brouwer's fixpoint theorem in Multivariate Analysis |
14 Derivation and Brouwer's fixpoint theorem in Multivariate Analysis. |
12 |
15 |
13 * November 2009: Stefan Berghofer and Lukas Bulwahn, TUM |
16 * November 2009: Stefan Berghofer and Lukas Bulwahn, TUM |
14 A tabled implementation of the reflexive transitive closure. |
17 A tabled implementation of the reflexive transitive closure. |
15 |
18 |
16 * November 2009: Lukas Bulwahn, TUM |
19 * November 2009: Lukas Bulwahn, TUM |