CONTRIBUTORS
changeset 28474 d0b8b0a1fca5
parent 27009 4f75f2c58123
child 28604 f36496b73227
     1.1 --- a/CONTRIBUTORS	Fri Oct 03 13:21:01 2008 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Oct 03 14:06:19 2008 +0200
     1.3 @@ -7,6 +7,13 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* August 2008: Fabian Immler, TUM
     1.8 +  Vampire wrapper script for remote SystemOnTPTP service.
     1.9 +
    1.10 +
    1.11 +Contributions to Isabelle2008
    1.12 +-----------------------------
    1.13 +
    1.14  * 2007/2008:
    1.15    Alexander Krauss, TUM and Florian Haftmann, TUM and Stefan Berghofer, TUM
    1.16    HOL library improvements.