CONTRIBUTORS
changeset 30162 097673d2e50f
parent 30154 9193a48d3f95
child 30179 c703c9368c12
     1.1 --- a/CONTRIBUTORS	Sat Feb 28 14:09:58 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Sat Feb 28 14:17:27 2009 +0100
     1.3 @@ -7,13 +7,13 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 -* February 2008: Jasmin Christian Blanchette, TUM
     1.8 +* February 2009: Jasmin Christian Blanchette, TUM
     1.9    Misc cleanup of HOL/refute.
    1.10  
    1.11 -* February 2008: Timothy Bourke, NICTA
    1.12 +* February 2009: Timothy Bourke, NICTA
    1.13    New find_consts command.
    1.14  
    1.15 -* February 2008: Timothy Bourke, NICTA
    1.16 +* February 2009: Timothy Bourke, NICTA
    1.17    "solves" criterion for find_theorems and auto_solve option
    1.18  
    1.19  * December 2008: Clemens Ballarin, TUM
    1.20 @@ -34,6 +34,9 @@
    1.21    processes.  Additional ATP wrappers, including remote SystemOnTPTP
    1.22    services.
    1.23  
    1.24 +* September 2008: Stefan Berghofer, TUM and Marc Bezem, Univ. Bergen
    1.25 +  Prover for coherent logic.
    1.26 +
    1.27  * August 2008: Fabian Immler, TUM
    1.28    Vampire wrapper script for remote SystemOnTPTP service.
    1.29