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 * February 2008: Timothy Bourke, NICTA |
|
11 "solves" criterion for find_theorems and auto_solve option |
9 |
12 |
10 * December 2008: Clemens Ballarin, TUM |
13 * December 2008: Clemens Ballarin, TUM |
11 New locale implementation. |
14 New locale implementation. |
12 |
15 |
13 * December 2008: Armin Heller, TUM and Alexander Krauss, TUM |
16 * December 2008: Armin Heller, TUM and Alexander Krauss, TUM |