CONTRIBUTORS
changeset 30162 097673d2e50f
parent 30154 9193a48d3f95
child 30179 c703c9368c12
equal deleted inserted replaced
30161:c26e515f1c29 30162:097673d2e50f
     5 
     5 
     6 
     6 
     7 Contributions to this Isabelle version
     7 Contributions to this Isabelle version
     8 --------------------------------------
     8 --------------------------------------
     9 
     9 
    10 * February 2008: Jasmin Christian Blanchette, TUM
    10 * February 2009: Jasmin Christian Blanchette, TUM
    11   Misc cleanup of HOL/refute.
    11   Misc cleanup of HOL/refute.
    12 
    12 
    13 * February 2008: Timothy Bourke, NICTA
    13 * February 2009: Timothy Bourke, NICTA
    14   New find_consts command.
    14   New find_consts command.
    15 
    15 
    16 * February 2008: Timothy Bourke, NICTA
    16 * February 2009: Timothy Bourke, NICTA
    17   "solves" criterion for find_theorems and auto_solve option
    17   "solves" criterion for find_theorems and auto_solve option
    18 
    18 
    19 * December 2008: Clemens Ballarin, TUM
    19 * December 2008: Clemens Ballarin, TUM
    20   New locale implementation.
    20   New locale implementation.
    21 
    21 
    31 
    31 
    32 * October 2008: Fabian Immler, TUM
    32 * October 2008: Fabian Immler, TUM
    33   ATP manager for Sledgehammer, based on ML threads instead of Posix
    33   ATP manager for Sledgehammer, based on ML threads instead of Posix
    34   processes.  Additional ATP wrappers, including remote SystemOnTPTP
    34   processes.  Additional ATP wrappers, including remote SystemOnTPTP
    35   services.
    35   services.
       
    36 
       
    37 * September 2008: Stefan Berghofer, TUM and Marc Bezem, Univ. Bergen
       
    38   Prover for coherent logic.
    36 
    39 
    37 * August 2008: Fabian Immler, TUM
    40 * August 2008: Fabian Immler, TUM
    38   Vampire wrapper script for remote SystemOnTPTP service.
    41   Vampire wrapper script for remote SystemOnTPTP service.
    39 
    42 
    40 
    43