CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Oct 01 21:19:49 2007 +0200
+++ b/CONTRIBUTORS	Mon Oct 01 21:19:50 2007 +0200
@@ -27,6 +27,9 @@
 * 2007: Stefan Berghofer, TUM
   HOL: inductive predicates.
 
+* 2007: Norbert Schirmer, TUM
+  HOL/record: misc improvements.
+
 * 2006/2007: Alexander Krauss, TUM
   HOL: function package and related theories on termination.