CONTRIBUTORS

--- a/CONTRIBUTORS	Sun Aug 19 21:21:37 2007 +0200
+++ b/CONTRIBUTORS	Mon Aug 20 00:22:18 2007 +0200
@@ -7,6 +7,9 @@
 Contributions to Isabelle 2007
 ------------------------------
 
+* August 2007: Brian Huffman, PSU
+  HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type
+
 * June 2007: Amine Chaieb, TUM
   Semiring normalization and Groebner Bases