CONTRIBUTORS
changeset 17866 511c906c66a3
parent 17640 dca023dd6d3c
child 19470 3572af78f114
equal deleted inserted replaced
17865:5b0c3dcfbad2 17866:511c906c66a3
       
     1 
       
     2 Contributions to Isabelle
       
     3 -------------------------
       
     4 
       
     5 * October 2005: Martin Wildmoser, TUM
       
     6   Sketch for Isar 'guess' element.
       
     7   
     1 
     8 
     2 Contributions to Isabelle 2005
     9 Contributions to Isabelle 2005
     3 ------------------------------
    10 ------------------------------
     4 
    11 
     5 * September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM
    12 * September 2005: Lukas Bulwahn and Bernhard Haeupler, TUM