CONTRIBUTORS
changeset 49481 818bf31759e7
parent 49190 e1e1d427747d
child 49510 ba50d204095e
     1.1 --- a/CONTRIBUTORS	Thu Sep 20 17:17:20 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Sep 20 17:21:13 2012 +0200
     1.3 @@ -26,6 +26,8 @@
     1.4  * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA
     1.5    Simproc for rewriting set comprehensions into pointfree expressions.
     1.6  
     1.7 +* May 2012: Andreas Lochbihler, KIT
     1.8 +  Theory of almost everywhere constant functions.
     1.9  
    1.10  Contributions to Isabelle2012
    1.11  -----------------------------