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