CONTRIBUTORS
changeset 19896 286d950883bc
parent 19650 33a94c5fc7bb
child 20067 26bac504ef90
equal deleted inserted replaced
19895:cab56c949350 19896:286d950883bc
     1 
       
     2 Contributions to Isabelle
     1 Contributions to Isabelle
     3 -------------------------
     2 -------------------------
       
     3 
       
     4 * May 2006: Klaus Aehlig, LMU
       
     5   Command 'normal_form': normalization by evaluation.
     4 
     6 
     5 * May 2006: Amine Chaieb, TUM
     7 * May 2006: Amine Chaieb, TUM
     6   HOL-Complex: Ferrante and Rackoff Algorithm for linear real
     8   HOL-Complex: Ferrante and Rackoff Algorithm for linear real
     7   arithmetic.
     9   arithmetic.
     8 
    10