5 |
5 |
6 |
6 |
7 Contributions to this Isabelle version |
7 Contributions to this Isabelle version |
8 -------------------------------------- |
8 -------------------------------------- |
9 |
9 |
|
10 * Oktober 2009: Florian Haftmann, TUM |
|
11 Refinement of parts of the HOL datatype package |
|
12 |
|
13 * Oktober 2009: Florian Haftmann, TUM |
|
14 Generic term styles for term antiquotations |
|
15 |
10 * September 2009: Thomas Sewell, NICTA |
16 * September 2009: Thomas Sewell, NICTA |
11 More efficient HOL/record implementation |
17 More efficient HOL/record implementation |
12 |
18 |
13 * September 2009: Sascha Boehme, TUM |
19 * September 2009: Sascha Boehme, TUM |
14 SMT method using external SMT solvers |
20 SMT method using external SMT solvers |
15 |
21 |
16 * September 2009: Florian Haftmann, TUM |
22 * September 2009: Florian Haftmann, TUM |
17 Refinement of Sets and Lattices |
23 Refinement of sets and lattices |
18 |
24 |
19 * July 2009: Jeremy Avigad and Amine Chaieb |
25 * July 2009: Jeremy Avigad and Amine Chaieb |
20 New number theory |
26 New number theory |
21 |
27 |
22 * July 2009: Philipp Meyer, TUM |
28 * July 2009: Philipp Meyer, TUM |