CONTRIBUTORS
changeset 29861 3c348f5873f3
parent 29398 89813bbf0f3e
child 29883 14841d4c808e
     1.1 --- a/CONTRIBUTORS	Wed Feb 11 10:51:31 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Feb 11 23:05:58 2009 +1100
     1.3 @@ -7,6 +7,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* February 2008: Timothy Bourke, NICTA
     1.8 +  "solves" criterion for find_theorems and auto_solve option
     1.9 +
    1.10  * December 2008: Clemens Ballarin, TUM
    1.11    New locale implementation.
    1.12