diff -r 04d0083cb9e5 -r c267a0feb63a CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Apr 05 10:03:04 2014 +0200
+++ b/CONTRIBUTORS	Sat Apr 05 10:12:51 2014 +0200
@@ -29,7 +29,7 @@
   Consolidation of abstract interpretations concerning min and max.
 
 * November 2013: Florian Haftmann, TUM
-  Abolishment of negative numeral literals in the logic.
+  Abolition of negative numeral literals in the logic.
 
 
 Contributions to Isabelle2013-1