CONTRIBUTORS
changeset 60685 cb21b7022b00
parent 60632 e096d5aaa0f8
child 60804 080a979a985b
     1.1 --- a/CONTRIBUTORS	Wed Jul 08 00:04:15 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Jul 08 14:01:34 2015 +0200
     1.3 @@ -15,7 +15,8 @@
     1.4  
     1.5  * Summer 2015: Manuel Eberl and Florian Haftmann, TUM
     1.6    Type class hierarchy with common algebraic notions of integral
     1.7 -  (semi)domains like units and associated elements.
     1.8 +  (semi)domains like units, associated elements and normalization
     1.9 +  wrt. units.
    1.10  
    1.11  
    1.12  Contributions to Isabelle2015