author | haftmann |
Sat, 05 Apr 2014 10:12:51 +0200 | |
changeset 56418 | c267a0feb63a |
parent 56417 | 04d0083cb9e5 |
child 56419 | f47de9e82b0f |
child 56421 | 1ffd7eaa778b |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
--- 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