# HG changeset patch
# User wenzelm
# Date 1235827047 -3600
# Node ID 097673d2e50f4f4efcd6187461494c6d982b164b
# Parent  c26e515f1c29bdca712d809025678424dbf8cbf5
more CONTRIBUTORS;
fixed some dates;

diff -r c26e515f1c29 -r 097673d2e50f CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Feb 28 14:09:58 2009 +0100
+++ b/CONTRIBUTORS	Sat Feb 28 14:17:27 2009 +0100
@@ -7,13 +7,13 @@
 Contributions to this Isabelle version
 --------------------------------------
 
-* February 2008: Jasmin Christian Blanchette, TUM
+* February 2009: Jasmin Christian Blanchette, TUM
   Misc cleanup of HOL/refute.
 
-* February 2008: Timothy Bourke, NICTA
+* February 2009: Timothy Bourke, NICTA
   New find_consts command.
 
-* February 2008: Timothy Bourke, NICTA
+* February 2009: Timothy Bourke, NICTA
   "solves" criterion for find_theorems and auto_solve option
 
 * December 2008: Clemens Ballarin, TUM
@@ -34,6 +34,9 @@
   processes.  Additional ATP wrappers, including remote SystemOnTPTP
   services.
 
+* September 2008: Stefan Berghofer, TUM and Marc Bezem, Univ. Bergen
+  Prover for coherent logic.
+
 * August 2008: Fabian Immler, TUM
   Vampire wrapper script for remote SystemOnTPTP service.