CONTRIBUTORS
changeset 54363 b0336bb8e638
parent 54051 cdba71c67860
child 54364 8f394986b353
equal deleted inserted replaced
54362:c5d6cd7ab132 54363:b0336bb8e638
     3 who is listed as an author in one of the source files of this Isabelle
     3 who is listed as an author in one of the source files of this Isabelle
     4 distribution.
     4 distribution.
     5 
     5 
     6 Contributions to Isabelle2013-1
     6 Contributions to Isabelle2013-1
     7 -------------------------------
     7 -------------------------------
       
     8 
       
     9 * September 2013: Lars Noschinski, TUM
       
    10   Conversion between function definitions as list of equations and case
       
    11   expressions in HOL
       
    12   New library Simps_Case_Conv with commands case_of_simps, simps_of_case.
     8 
    13 
     9 * September 2013: Nik Sultana, University of Cambridge
    14 * September 2013: Nik Sultana, University of Cambridge
    10   Improvements to HOL/TPTP parser and import facilities.
    15   Improvements to HOL/TPTP parser and import facilities.
    11 
    16 
    12 * September 2013: Johannes Hölzl and Dmitriy Traytel, TUM
    17 * September 2013: Johannes Hölzl and Dmitriy Traytel, TUM