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 * March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII, and Dmitriy Traytel, TUM |
|
10 More multiset theorems, syntax, and operations. |
8 |
11 |
9 * December 2014: Johannes Hölzl, Manuel Eberl, Sudeep Kanav, TUM and Jeremy Avigad, Luke Serafin, CMU |
12 * December 2014: Johannes Hölzl, Manuel Eberl, Sudeep Kanav, TUM and Jeremy Avigad, Luke Serafin, CMU |
10 Various integration theorems: mostly integration on intervals and substitution. |
13 Various integration theorems: mostly integration on intervals and substitution. |
11 |
14 |
12 * September 2014: Florian Haftmann, TUM |
15 * September 2014: Florian Haftmann, TUM |