author | haftmann |
Fri, 12 Jun 2015 08:53:23 +0200 | |
changeset 60434 | b050b557dbbe |
parent 60433 | 720f210c5b1d |
child 60435 | 35c6e2daa397 |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
--- 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 -----------------------------