CONTRIBUTORS
changeset 54364 8f394986b353
parent 54363 b0336bb8e638
child 54384 50199af40c27
equal deleted inserted replaced
54363:b0336bb8e638 54364:8f394986b353
     5 
     5 
     6 Contributions to Isabelle2013-1
     6 Contributions to Isabelle2013-1
     7 -------------------------------
     7 -------------------------------
     8 
     8 
     9 * September 2013: Lars Noschinski, TUM
     9 * September 2013: Lars Noschinski, TUM
    10   Conversion between function definitions as list of equations and case
    10   Conversion between function definitions as list of equations and
    11   expressions in HOL
    11   case expressions in HOL.
    12   New library Simps_Case_Conv with commands case_of_simps, simps_of_case.
    12   New library Simps_Case_Conv with commands case_of_simps,
       
    13   simps_of_case.
    13 
    14 
    14 * September 2013: Nik Sultana, University of Cambridge
    15 * September 2013: Nik Sultana, University of Cambridge
    15   Improvements to HOL/TPTP parser and import facilities.
    16   Improvements to HOL/TPTP parser and import facilities.
    16 
    17 
    17 * September 2013: Johannes Hölzl and Dmitriy Traytel, TUM
    18 * September 2013: Johannes Hölzl and Dmitriy Traytel, TUM