CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Apr 12 23:51:36 2012 +0200
+++ b/CONTRIBUTORS	Fri Apr 13 09:17:01 2012 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* March 2012: Christian Sternagel, Japan Advanced Institute of Science and Technology
+  Consolidated theory of relation composition.
+
 * March 2012: Nik Sultana, University of Cambridge
   HOL/TPTP parser and import facilities.