CONTRIBUTORS
changeset 23449 dd874e6a3282
parent 23382 0459ab90389a
child 24332 e3a2b75b1cf9
equal deleted inserted replaced
23448:020381339d87 23449:dd874e6a3282
     7 Contributions to Isabelle 2007
     7 Contributions to Isabelle 2007
     8 ------------------------------
     8 ------------------------------
     9 
     9 
    10 * June 2007: Amine Chaieb, TUM
    10 * June 2007: Amine Chaieb, TUM
    11   Semiring normalization and Groebner Bases
    11   Semiring normalization and Groebner Bases
       
    12 
       
    13 * June 2007: Joe Hurd, Oxford
       
    14   Metis theorem-prover
       
    15 
       
    16 * 2006/2007: Kong W. Susanto, Cambridge
       
    17   HOL: Metis prover integration.
    12 
    18 
    13 * 2006/2007: Florian Haftmann, TUM
    19 * 2006/2007: Florian Haftmann, TUM
    14   Pure: generic code generator framework.
    20   Pure: generic code generator framework.
    15   Pure: class package.
    21   Pure: class package.
    16   HOL: theory tuning, code generator setup.
    22   HOL: theory tuning, code generator setup.