CONTRIBUTORS
changeset 29398 89813bbf0f3e
parent 29182 9304afad825e
child 29861 3c348f5873f3
equal deleted inserted replaced
29397:aab26a65e80f 29398:89813bbf0f3e
     5 
     5 
     6 
     6 
     7 Contributions to this Isabelle version
     7 Contributions to this Isabelle version
     8 --------------------------------------
     8 --------------------------------------
     9 
     9 
       
    10 * December 2008: Clemens Ballarin, TUM
       
    11   New locale implementation.
       
    12 
    10 * December 2008: Armin Heller, TUM and Alexander Krauss, TUM
    13 * December 2008: Armin Heller, TUM and Alexander Krauss, TUM
    11   Method "sizechange" for advanced termination proofs.
    14   Method "sizechange" for advanced termination proofs.
    12 
    15 
    13 * November 2008: Timothy Bourke, NICTA
    16 * November 2008: Timothy Bourke, NICTA
    14   Performance improvement (factor 50) for find_theorems.
    17   Performance improvement (factor 50) for find_theorems.
       
    18 
       
    19 * 2008: Florian Haftmann, TUM
       
    20   Various extensions and restructurings in HOL, improvements
       
    21   in evaluation mechanisms, new module binding.ML for name bindings.
    15 
    22 
    16 * October 2008: Fabian Immler, TUM
    23 * October 2008: Fabian Immler, TUM
    17   ATP manager for Sledgehammer, based on ML threads instead of Posix
    24   ATP manager for Sledgehammer, based on ML threads instead of Posix
    18   processes.  Additional ATP wrappers, including remote SystemOnTPTP
    25   processes.  Additional ATP wrappers, including remote SystemOnTPTP
    19   services.
    26   services.