CONTRIBUTORS
changeset 47448 cd3d987e8e79
parent 47413 a380515ed7e4
child 47462 8f85051693d1
     1.1 --- a/CONTRIBUTORS	Thu Apr 12 23:51:36 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Apr 13 09:17:01 2012 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* March 2012: Christian Sternagel, Japan Advanced Institute of Science and Technology
     1.8 +  Consolidated theory of relation composition.
     1.9 +
    1.10  * March 2012: Nik Sultana, University of Cambridge
    1.11    HOL/TPTP parser and import facilities.
    1.12