CONTRIBUTORS
changeset 29883 14841d4c808e
parent 29861 3c348f5873f3
child 30154 9193a48d3f95
equal deleted inserted replaced
29882:29154e67731d 29883:14841d4c808e
     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   New find_consts command.
     9 
    12 
    10 * February 2008: Timothy Bourke, NICTA
    13 * February 2008: Timothy Bourke, NICTA
    11   "solves" criterion for find_theorems and auto_solve option
    14   "solves" criterion for find_theorems and auto_solve option
    12 
    15 
    13 * December 2008: Clemens Ballarin, TUM
    16 * December 2008: Clemens Ballarin, TUM