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 Isabelle2014 |
6 Contributions to Isabelle2014 |
7 ----------------------------- |
7 ----------------------------- |
|
8 |
|
9 * July 2014: Thomas Sewell, NICTA |
|
10 Preserve equality hypotheses in clarify and friends. New hypsubst_thin |
|
11 method and [[hypsubst_thin]] setting. |
8 |
12 |
9 * June 2014: Florian Haftmann, TUM |
13 * June 2014: Florian Haftmann, TUM |
10 Consolidation and generalization of facts concerning products |
14 Consolidation and generalization of facts concerning products |
11 (resp. sums) on finite sets. |
15 (resp. sums) on finite sets. |
12 |
16 |