CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Mar 02 19:43:31 2016 +0100
+++ b/CONTRIBUTORS	Thu Mar 03 08:33:55 2016 +0100
@@ -10,6 +10,9 @@
   Abolition of compound operators INFIMUM and SUPREMUM
   for complete lattices.
 
+* March 2016: Florian Haftmann
+  Abstract factorial rings with unique factorization.
+
 
 Contributions to Isabelle2016
 -----------------------------