CONTRIBUTORS
changeset 23252 67268bb40b21
parent 22449 ece6952a8975
child 23382 0459ab90389a
equal deleted inserted replaced
23251:471b576aad25 23252:67268bb40b21
     1 
     1 
     2 Contributions to Isabelle
     2 Contributions to Isabelle 2007
     3 -------------------------
     3 ------------------------------
       
     4 
       
     5 * June 2007: Amine Chaieb, TUM
       
     6   Semiring normalization and Groebner Bases
     4 
     7 
     5 * 2006/2007: Florian Haftmann, TUM
     8 * 2006/2007: Florian Haftmann, TUM
     6   Pure: generic code generator framework.
     9   Pure: generic code generator framework.
     7   Pure: class package.
    10   Pure: class package.
     8   HOL: theory tuning, code generator setup.
    11   HOL: theory tuning, code generator setup.