CONTRIBUTORS
changeset 24333 e77ea0ea7f2c
parent 24332 e3a2b75b1cf9
child 24799 dff164b6f2a6
     1.1 --- a/CONTRIBUTORS	Mon Aug 20 00:22:18 2007 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Aug 20 04:34:31 2007 +0200
     1.3 @@ -7,6 +7,13 @@
     1.4  Contributions to Isabelle 2007
     1.5  ------------------------------
     1.6  
     1.7 +* August 2007: Jeremy Dawson, NICTA,
     1.8 +               Paul Graunke, Galois, 
     1.9 +               Brian Huffman, PSU,
    1.10 +               Gerwin Klein, NICTA, 
    1.11 +               John Matthews, Galois
    1.12 +  HOL-Word: a library for fixed-size machine words in Isabelle.
    1.13 +
    1.14  * August 2007: Brian Huffman, PSU
    1.15    HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type
    1.16