CONTRIBUTORS
changeset 54364 8f394986b353
parent 54363 b0336bb8e638
child 54384 50199af40c27
     1.1 --- a/CONTRIBUTORS	Mon Oct 28 11:27:14 2013 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Nov 05 16:41:19 2013 +0100
     1.3 @@ -7,9 +7,10 @@
     1.4  -------------------------------
     1.5  
     1.6  * September 2013: Lars Noschinski, TUM
     1.7 -  Conversion between function definitions as list of equations and case
     1.8 -  expressions in HOL
     1.9 -  New library Simps_Case_Conv with commands case_of_simps, simps_of_case.
    1.10 +  Conversion between function definitions as list of equations and
    1.11 +  case expressions in HOL.
    1.12 +  New library Simps_Case_Conv with commands case_of_simps,
    1.13 +  simps_of_case.
    1.14  
    1.15  * September 2013: Nik Sultana, University of Cambridge
    1.16    Improvements to HOL/TPTP parser and import facilities.