CONTRIBUTORS
changeset 19896 286d950883bc
parent 19650 33a94c5fc7bb
child 20067 26bac504ef90
     1.1 --- a/CONTRIBUTORS	Thu Jun 15 18:28:32 2006 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Jun 15 18:35:16 2006 +0200
     1.3 @@ -1,7 +1,9 @@
     1.4 -
     1.5  Contributions to Isabelle
     1.6  -------------------------
     1.7  
     1.8 +* May 2006: Klaus Aehlig, LMU
     1.9 +  Command 'normal_form': normalization by evaluation.
    1.10 +
    1.11  * May 2006: Amine Chaieb, TUM
    1.12    HOL-Complex: Ferrante and Rackoff Algorithm for linear real
    1.13    arithmetic.