# HG changeset patch
# User haftmann
# Date 1396685571 -7200
# Node ID c267a0feb63a90d4e94363fd73cca3ac4b36e39f
# Parent  04d0083cb9e5532c6eb662536b025a508d229927
avoid romanism

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