CONTRIBUTORS
changeset 44908 f05bff62f8a6
parent 44901 ed5ddf9fcc77
child 44910 53650b655b47
     1.1 --- a/CONTRIBUTORS	Mon Sep 12 11:54:20 2011 -0700
     1.2 +++ b/CONTRIBUTORS	Mon Sep 12 13:19:10 2011 -0700
     1.3 @@ -7,7 +7,7 @@
     1.4  -------------------------------
     1.5  
     1.6  * September 2011: Peter Gammie
     1.7 -  Theory HOL/Libary/Saturated: numbers with saturated arithmetic.
     1.8 +  Theory HOL/Library/Saturated: numbers with saturated arithmetic.
     1.9  
    1.10  * August 2011: Florian Haftmann, Johannes Hölzl and Lars Noschinski, TUM
    1.11    Refined theory on complete lattices.
    1.12 @@ -30,6 +30,13 @@
    1.13    Theory HOL/Library/Extended_Reals: real numbers extended with
    1.14    plus and minus infinity.
    1.15  
    1.16 +* June 2011: Brian Huffman, Portland State University
    1.17 +  Proof method 'countable_datatype' for theory Library/Countable.
    1.18 +
    1.19 +* August 2011: Brian Huffman, Portland State University
    1.20 +  Misc cleanup of Complex_Main and Multivariate_Analysis.
    1.21 +
    1.22 +
    1.23  Contributions to Isabelle2011
    1.24  -----------------------------
    1.25