CONTRIBUTORS
changeset 49510 ba50d204095e
parent 49481 818bf31759e7
child 49532 6f7cc8e42716
equal deleted inserted replaced
49509:163914705f8d 49510:ba50d204095e
    12 * September 2012: Christian Sternagel, JAIST
    12 * September 2012: Christian Sternagel, JAIST
    13   Consolidated HOL/Library (theories: Prefix_Order, Sublist, and
    13   Consolidated HOL/Library (theories: Prefix_Order, Sublist, and
    14   Sublist_Order) w.r.t. prefixes, suffixes, and embedding on lists.
    14   Sublist_Order) w.r.t. prefixes, suffixes, and embedding on lists.
    15 
    15 
    16 * August 2012: Dmitriy Traytel, Andrei Popescu, Jasmin Blanchette, TUM
    16 * August 2012: Dmitriy Traytel, Andrei Popescu, Jasmin Blanchette, TUM
    17   New (co)datatype package.
    17   New BNF-based (co)datatype package.
    18 
    18 
    19 * August 2012: Andrei Popescu and Dmitriy Traytel, TUM
    19 * August 2012: Andrei Popescu and Dmitriy Traytel, TUM
    20   Theories of ordinals and cardinals.
    20   Theories of ordinals and cardinals.
    21 
    21 
    22 * July 2012: Makarius Wenzel, Université Paris-Sud / LRI
    22 * July 2012: Makarius Wenzel, Université Paris-Sud / LRI