CONTRIBUTORS
changeset 60804 080a979a985b
parent 60685 cb21b7022b00
child 60920 97c20589a0db
     1.1 --- a/CONTRIBUTORS	Mon Jul 27 22:08:46 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Jul 27 22:44:02 2015 +0200
     1.3 @@ -18,6 +18,9 @@
     1.4    (semi)domains like units, associated elements and normalization
     1.5    wrt. units.
     1.6  
     1.7 +* Summer 2015: Florian Haftmann, TUM
     1.8 +  Fundamentals of abstract type class for factorial rings.
     1.9 +
    1.10  
    1.11  Contributions to Isabelle2015
    1.12  -----------------------------