CONTRIBUTORS
changeset 29861 3c348f5873f3
parent 29398 89813bbf0f3e
child 29883 14841d4c808e
equal deleted inserted replaced
29860:f735e4027656 29861:3c348f5873f3
     4 distribution.
     4 distribution.
     5 
     5 
     6 
     6 
     7 Contributions to this Isabelle version
     7 Contributions to this Isabelle version
     8 --------------------------------------
     8 --------------------------------------
       
     9 
       
    10 * February 2008: Timothy Bourke, NICTA
       
    11   "solves" criterion for find_theorems and auto_solve option
     9 
    12 
    10 * December 2008: Clemens Ballarin, TUM
    13 * December 2008: Clemens Ballarin, TUM
    11   New locale implementation.
    14   New locale implementation.
    12 
    15 
    13 * December 2008: Armin Heller, TUM and Alexander Krauss, TUM
    16 * December 2008: Armin Heller, TUM and Alexander Krauss, TUM