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 * August 2008: Fabian Immler, TUM |
|
11 Vampire wrapper script for remote SystemOnTPTP service. |
|
12 |
|
13 |
|
14 Contributions to Isabelle2008 |
|
15 ----------------------------- |
9 |
16 |
10 * 2007/2008: |
17 * 2007/2008: |
11 Alexander Krauss, TUM and Florian Haftmann, TUM and Stefan Berghofer, TUM |
18 Alexander Krauss, TUM and Florian Haftmann, TUM and Stefan Berghofer, TUM |
12 HOL library improvements. |
19 HOL library improvements. |
13 |
20 |