changeset 30154 | 9193a48d3f95 |
parent 29820 | 14841d4c808e |
child 30162 | 097673d2e50f |
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