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