4 |
4 |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * January 2016: Florian Haftmann |
9 * January 2016: Florian Haftmann, TUM |
10 Abolition of compound operators INFIMUM and SUPREMUM |
10 Abolition of compound operators INFIMUM and SUPREMUM |
11 for complete lattices. |
11 for complete lattices. |
12 |
12 |
13 * March 2016: Florian Haftmann |
13 * March 2016: Florian Haftmann, TUM |
14 Abstract factorial rings with unique factorization. |
14 Abstract factorial rings with unique factorization. |
|
15 |
|
16 * March 2016: Florian Haftmann, TUM |
|
17 Reworking of the HOL char type as special case of a |
|
18 finite numeral type. |
15 |
19 |
16 * March 2016: Andreas Lochbihler |
20 * March 2016: Andreas Lochbihler |
17 Reasoning support for monotonicity, continuity and |
21 Reasoning support for monotonicity, continuity and |
18 admissibility in chain-complete partial orders. |
22 admissibility in chain-complete partial orders. |
19 |
23 |
20 * May 2016: Manuel Eberl |
24 * May 2016: Manuel Eberl |
21 Code generation for Probability Mass Functions. |
25 Code generation for Probability Mass Functions. |
22 |
26 |
23 * June 2016: Andreas Lochbihler |
27 * June 2016: Andreas Lochbihler |
24 Formalisation of discrete subprobability distributions. |
28 Formalisation of discrete subprobability distributions. |
|
29 |
|
30 * June 2016: Florian Haftmann, TUM |
|
31 Improvements to code generation: optional timing measurements, |
|
32 more succint closures for static evaluation, less ambiguities |
|
33 concering Scala implicits. |
25 |
34 |
26 * July 2016: Daniel Stuewe |
35 * July 2016: Daniel Stuewe |
27 Height-size proofs in HOL/Data_Structures |
36 Height-size proofs in HOL/Data_Structures |
28 |
37 |
29 * July 2016: Manuel Eberl |
38 * July 2016: Manuel Eberl |