CONTRIBUTORS
changeset 22449 ece6952a8975
parent 21242 d73735bb33c1
child 23252 67268bb40b21
equal deleted inserted replaced
22448:f982e73e36de 22449:ece6952a8975
     1 
     1 
     2 Contributions to Isabelle
     2 Contributions to Isabelle
     3 -------------------------
     3 -------------------------
       
     4 
       
     5 * 2006/2007: Florian Haftmann, TUM
       
     6   Pure: generic code generator framework.
       
     7   Pure: class package.
       
     8   HOL: theory tuning, code generator setup.
     4 
     9 
     5 * November 2006: Lukas Bulwahn, TUM
    10 * November 2006: Lukas Bulwahn, TUM
     6   HOL/function: method "lexicographic_order".
    11   HOL/function: method "lexicographic_order".
     7 
    12 
     8 * October 2006: Stefan Hohe, TUM
    13 * October 2006: Stefan Hohe, TUM