# 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.