1.1 --- a/CONTRIBUTORS	Sun Aug 19 21:21:37 2007 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Aug 20 00:22:18 2007 +0200
     1.3 @@ -7,6 +7,9 @@
     1.4  Contributions to Isabelle 2007
     1.5  ------------------------------
     1.6  
     1.7 +* August 2007: Brian Huffman, PSU
     1.8 +  HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type
     1.9 +
    1.10  * June 2007: Amine Chaieb, TUM
    1.11    Semiring normalization and Groebner Bases
    1.12