more CONTRIBUTORS;
authorwenzelm
Fri Feb 27 20:00:54 2009 +0100 (2009-02-27)
changeset 301549193a48d3f95
parent 30153 051d3825a15d
child 30156 c621f8b6f4e6
more CONTRIBUTORS;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Fri Feb 27 19:19:39 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Feb 27 20:00:54 2009 +0100
     1.3 @@ -7,6 +7,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* February 2008: Jasmin Christian Blanchette, TUM
     1.8 +  Misc cleanup of HOL/refute.
     1.9 +
    1.10  * February 2008: Timothy Bourke, NICTA
    1.11    New find_consts command.
    1.12