# HG changeset patch # User wenzelm # Date 1383666079 -3600 # Node ID 8f394986b35327776b6aa289d158dea52acb1d4c # Parent b0336bb8e6384d600211f343d5b735c3a6cf442f tuned; diff -r b0336bb8e638 -r 8f394986b353 CONTRIBUTORS --- a/CONTRIBUTORS Mon Oct 28 11:27:14 2013 +0100 +++ b/CONTRIBUTORS Tue Nov 05 16:41:19 2013 +0100 @@ -7,9 +7,10 @@ ------------------------------- * 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. + 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.