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.