# 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.