equal
deleted
inserted
replaced
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 * September 2012: Christian Sternagel, JAIST |
|
10 Consolidated HOL/Library (theories: Prefix_Order, Sublist, and |
|
11 Sublist_Order) w.r.t. prefixes, suffixes, and embedding on lists. |
8 |
12 |
9 * August 2012: Dmitriy Traytel, Andrei Popescu, Jasmin Blanchette, TUM |
13 * August 2012: Dmitriy Traytel, Andrei Popescu, Jasmin Blanchette, TUM |
10 New (co)datatype package. |
14 New (co)datatype package. |
11 |
15 |
12 * August 2012: Andrei Popescu and Dmitriy Traytel, TUM |
16 * August 2012: Andrei Popescu and Dmitriy Traytel, TUM |