*** empty log message ***
authornipkow
Thu Jun 15 18:35:16 2006 +0200 (2006-06-15)
changeset 19896286d950883bc
parent 19895 cab56c949350
child 19897 fe661eb3b0e7
*** empty log message ***
CONTRIBUTORS
     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.