# HG changeset patch # User noschinl # Date 1382956034 -3600 # Node ID b0336bb8e6384d600211f343d5b735c3a6cf442f # Parent c5d6cd7ab1325d161304a55e3bdb107c62fde43e CONTRIBUTORS diff -r c5d6cd7ab132 -r b0336bb8e638 CONTRIBUTORS --- a/CONTRIBUTORS Sun Nov 03 18:12:23 2013 +0100 +++ b/CONTRIBUTORS Mon Oct 28 11:27:14 2013 +0100 @@ -6,6 +6,11 @@ Contributions to Isabelle2013-1 ------------------------------- +* September 2013: Lars Noschinski, TUM + Conversion between function definitions as list of equations and case + expressions in HOL + New library Simps_Case_Conv with commands case_of_simps, simps_of_case. + * September 2013: Nik Sultana, University of Cambridge Improvements to HOL/TPTP parser and import facilities.