equal
deleted
inserted
replaced
8 |
8 |
9 * July 2014: Thomas Sewell, NICTA |
9 * July 2014: Thomas Sewell, NICTA |
10 Preserve equality hypotheses in "clarify" and friends. New |
10 Preserve equality hypotheses in "clarify" and friends. New |
11 "hypsubst_thin" method configuration option. |
11 "hypsubst_thin" method configuration option. |
12 |
12 |
13 * June 2014: Florian Haftmann, TUM |
13 * Summer 2014: Florian Haftmann, TUM |
14 Consolidation and generalization of facts concerning products |
14 Consolidation and generalization of facts concerning (abelian) |
15 (resp. sums) on finite sets. |
15 semigroups and monoids, particularly products (resp. sums) on |
|
16 finite sets. |
16 |
17 |
17 * June 2014: Florian Haftmann, TUM |
18 * June 2014: Florian Haftmann, TUM |
18 Internal reorganisation of the local theory / named target stack. |
19 Internal reorganisation of the local theory / named target stack. |
19 |
20 |
20 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM |
21 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM |