changeset 32762 | 5f485f98652f |
parent 32618 | 42865636d006 |
child 33002 | bd8e15958708 |
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