Thomas Sewell, NICTA: more efficient HOL/record implementation;
authorwenzelm
Tue Sep 29 21:36:33 2009 +0200 (2009-09-29)
changeset 327625f485f98652f
parent 32761 54fee94b2b29
child 32763 ebfaf9e3c03a
Thomas Sewell, NICTA: more efficient HOL/record implementation;
CONTRIBUTORS
     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