equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 |
6 |
7 Contributions to this Isabelle version |
7 Contributions to this Isabelle version |
8 -------------------------------------- |
8 -------------------------------------- |
|
9 |
|
10 * September 2009: Thomas Sewell, NICTA |
|
11 More efficient HOL/record implementation |
9 |
12 |
10 * September 2009: Sascha Boehme, TUM |
13 * September 2009: Sascha Boehme, TUM |
11 SMT method using external SMT solvers |
14 SMT method using external SMT solvers |
12 |
15 |
13 * September 2009: Florian Haftmann, TUM |
16 * September 2009: Florian Haftmann, TUM |