CONTRIBUTORS
changeset 60517 f16e4fb20652
parent 60434 b050b557dbbe
child 60632 e096d5aaa0f8
     1.1 --- a/CONTRIBUTORS	Fri Jun 19 07:53:33 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Jun 19 07:53:35 2015 +0200
     1.3 @@ -10,6 +10,10 @@
     1.4    Generic partial division in rings as inverse operation
     1.5    of multiplication.
     1.6  
     1.7 +* Summer 2015: Manuel Eberl and Florian Haftmann, TUM
     1.8 +  Type class hierarchy with common algebraic notions of
     1.9 +  integral (semi)domains like units and associated elements.
    1.10 +
    1.11  
    1.12  Contributions to Isabelle2015
    1.13  -----------------------------