CONTRIBUTORS
changeset 60434 b050b557dbbe
parent 60301 ff82ba1893c8
child 60517 f16e4fb20652
     1.1 --- a/CONTRIBUTORS	Fri Jun 12 08:53:23 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Jun 12 08:53:23 2015 +0200
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* Summer 2015: Florian Haftmann, TUM
     1.8 +  Generic partial division in rings as inverse operation
     1.9 +  of multiplication.
    1.10 +
    1.11  
    1.12  Contributions to Isabelle2015
    1.13  -----------------------------