# HG changeset patch
# User nipkow
# Date 1150389316 -7200
# Node ID 286d950883bcb6e8c6b92273d10f074f9f34a0bb
# Parent  cab56c9493508de6b08e65acc59376780f172eff
*** empty log message ***

diff -r cab56c949350 -r 286d950883bc CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Jun 15 18:28:32 2006 +0200
+++ b/CONTRIBUTORS	Thu Jun 15 18:35:16 2006 +0200
@@ -1,7 +1,9 @@
-
 Contributions to Isabelle
 -------------------------
 
+* May 2006: Klaus Aehlig, LMU
+  Command 'normal_form': normalization by evaluation.
+
 * May 2006: Amine Chaieb, TUM
   HOL-Complex: Ferrante and Rackoff Algorithm for linear real
   arithmetic.