# HG changeset patch
# User wenzelm
# Date 1191266390 -7200
# Node ID 38577b4b1fde23cb37a721b2d984699849c6286a
# Parent  6bd8ec8f3fc85ad13680b26a61b709c667c20dc9
Norbert Schirmer: record improvements;

diff -r 6bd8ec8f3fc8 -r 38577b4b1fde 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.