avoid romanism
authorhaftmann
Sat Apr 05 10:12:51 2014 +0200 (2014-04-05)
changeset 56418c267a0feb63a
parent 56417 04d0083cb9e5
child 56419 f47de9e82b0f
child 56421 1ffd7eaa778b
avoid romanism
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Sat Apr 05 10:03:04 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Sat Apr 05 10:12:51 2014 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4    Consolidation of abstract interpretations concerning min and max.
     1.5  
     1.6  * November 2013: Florian Haftmann, TUM
     1.7 -  Abolishment of negative numeral literals in the logic.
     1.8 +  Abolition of negative numeral literals in the logic.
     1.9  
    1.10  
    1.11  Contributions to Isabelle2013-1