equal
deleted
inserted
replaced
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 |
10 * October 2009: Sascha Boehme, TUM |
|
11 Extension of SMT method: proof-reconstruction for the SMT solver Z3 |
|
12 |
|
13 * October 2009: Florian Haftmann, TUM |
11 Refinement of parts of the HOL datatype package |
14 Refinement of parts of the HOL datatype package |
12 |
15 |
13 * Oktober 2009: Florian Haftmann, TUM |
16 * October 2009: Florian Haftmann, TUM |
14 Generic term styles for term antiquotations |
17 Generic term styles for term antiquotations |
15 |
18 |
16 * September 2009: Thomas Sewell, NICTA |
19 * September 2009: Thomas Sewell, NICTA |
17 More efficient HOL/record implementation |
20 More efficient HOL/record implementation |
18 |
21 |