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