CONTRIBUTORS
changeset 52896 73e32ed924b3
parent 52503 750b63fa4c4e
child 53164 beb4ee344c22
     1.1 --- a/CONTRIBUTORS	Fri Aug 02 15:42:47 2013 +0900
     1.2 +++ b/CONTRIBUTORS	Wed Aug 07 15:35:33 2013 +0200
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* Summer 2013: Christian Sternagel, JAIST
     1.8 +  Improved support for adhoc overloading of constants, including
     1.9 +  documentation and examples.
    1.10 +
    1.11  * May 2013: Florian Haftmann, TUM
    1.12    Ephemeral interpretation in local theories.
    1.13