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