changeset 60434 | b050b557dbbe |
parent 60301 | ff82ba1893c8 |
child 60517 | f16e4fb20652 |
--- a/CONTRIBUTORS Fri Jun 12 08:53:23 2015 +0200 +++ b/CONTRIBUTORS Fri Jun 12 08:53:23 2015 +0200 @@ -6,6 +6,10 @@ Contributions to this Isabelle version -------------------------------------- +* Summer 2015: Florian Haftmann, TUM + Generic partial division in rings as inverse operation + of multiplication. + Contributions to Isabelle2015 -----------------------------