--- 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.