CONTRIBUTORS
changeset 49510 ba50d204095e
parent 49481 818bf31759e7
child 49532 6f7cc8e42716
     1.1 --- a/CONTRIBUTORS	Fri Sep 21 16:34:40 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Sep 21 16:45:06 2012 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4    Sublist_Order) w.r.t. prefixes, suffixes, and embedding on lists.
     1.5  
     1.6  * August 2012: Dmitriy Traytel, Andrei Popescu, Jasmin Blanchette, TUM
     1.7 -  New (co)datatype package.
     1.8 +  New BNF-based (co)datatype package.
     1.9  
    1.10  * August 2012: Andrei Popescu and Dmitriy Traytel, TUM
    1.11    Theories of ordinals and cardinals.