1.1 --- a/CONTRIBUTORS Mon Nov 23 16:15:39 2009 +0100
1.2 +++ b/CONTRIBUTORS Mon Nov 23 16:24:28 2009 +0100
1.3 @@ -7,8 +7,11 @@
1.4 Contributions to Isabelle2009-1
1.5 -------------------------------
1.6
1.7 +* November 2009, Brian Huffman, PSU
1.8 + New definitional domain package for HOLCF.
1.9 +
1.10 * November 2009: Robert Himmelmann, TUM
1.11 - Derivation and Brouwer's fixpoint theorem in Multivariate Analysis
1.12 + Derivation and Brouwer's fixpoint theorem in Multivariate Analysis.
1.13
1.14 * November 2009: Stefan Berghofer and Lukas Bulwahn, TUM
1.15 A tabled implementation of the reflexive transitive closure.