diff -r 0a2a1b6507c1 -r 493b818e8e10 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Apr 18 21:12:50 2018 +0100
+++ b/CONTRIBUTORS	Wed May 02 13:49:38 2018 +0200
@@ -6,6 +6,12 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* April 2018: Jose Divasón (Universidad de la Rioja),
+  Jesús Aransay (Universidad de la Rioja), Johannes Hölzl (VU Amsterdam),
+  Fabian Immler (TUM)
+  Generalizations in the formalization of linear algebra.
+
+
 * March 2018: Florian Haftmann
   Abstract bit operations push_bit, push_take, push_drop, alongside
   with an algebraic foundation for bit strings and word types in