1.1 --- a/CONTRIBUTORS	Mon Oct 01 21:19:49 2007 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Oct 01 21:19:50 2007 +0200
     1.3 @@ -27,6 +27,9 @@
     1.4  * 2007: Stefan Berghofer, TUM
     1.5    HOL: inductive predicates.
     1.6  
     1.7 +* 2007: Norbert Schirmer, TUM
     1.8 +  HOL/record: misc improvements.
     1.9 +
    1.10  * 2006/2007: Alexander Krauss, TUM
    1.11    HOL: function package and related theories on termination.
    1.12