CONTRIBUTORS
changeset 61552 980dd46a03fb
parent 60920 97c20589a0db
child 61766 507b39df1a57
equal deleted inserted replaced
61532:e3984606b4b6 61552:980dd46a03fb
     3 who is listed as an author in one of the source files of this Isabelle
     3 who is listed as an author in one of the source files of this Isabelle
     4 distribution.
     4 distribution.
     5 
     5 
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
       
     8 
       
     9 * Autumn 2015: Chaitanya Mangla, Lawrence C Paulson, and Manuel Eberl
       
    10   A large number of additional binomial identities.
     8 
    11 
     9 * Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel
    12 * Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel
    10   Isar subgoal command for proof structure within unstructured proof
    13   Isar subgoal command for proof structure within unstructured proof
    11   scripts.
    14   scripts.
    12 
    15