author | wenzelm |
Tue, 29 Sep 2009 21:36:33 +0200 | |
changeset 32762 | 5f485f98652f |
parent 32761 | 54fee94b2b29 |
child 32763 | ebfaf9e3c03a |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
1.1 --- a/CONTRIBUTORS Tue Sep 29 21:34:59 2009 +0200 1.2 +++ b/CONTRIBUTORS Tue Sep 29 21:36:33 2009 +0200 1.3 @@ -7,6 +7,9 @@ 1.4 Contributions to this Isabelle version 1.5 -------------------------------------- 1.6 1.7 +* September 2009: Thomas Sewell, NICTA 1.8 + More efficient HOL/record implementation 1.9 + 1.10 * September 2009: Sascha Boehme, TUM 1.11 SMT method using external SMT solvers 1.12