CONTRIBUTORS
changeset 56418 c267a0feb63a
parent 56416 b9baecff0684
child 57030 b592202a45cc
     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