CONTRIBUTORS
changeset 61552 980dd46a03fb
parent 60920 97c20589a0db
child 61766 507b39df1a57
     1.1 --- a/CONTRIBUTORS	Mon Nov 02 11:56:38 2015 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Nov 02 16:17:09 2015 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* Autumn 2015: Chaitanya Mangla, Lawrence C Paulson, and Manuel Eberl
     1.8 +  A large number of additional binomial identities.
     1.9 +
    1.10  * Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel
    1.11    Isar subgoal command for proof structure within unstructured proof
    1.12    scripts.