CONTRIBUTORS
authorhaftmann
Fri Jun 12 08:53:23 2015 +0200 (2015-06-12)
changeset 60434b050b557dbbe
parent 60433 720f210c5b1d
child 60435 35c6e2daa397
CONTRIBUTORS
CONTRIBUTORS
     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  -----------------------------