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 |
--- a/CONTRIBUTORS Tue Sep 29 21:34:59 2009 +0200 +++ b/CONTRIBUTORS Tue Sep 29 21:36:33 2009 +0200 @@ -7,6 +7,9 @@ Contributions to this Isabelle version -------------------------------------- +* September 2009: Thomas Sewell, NICTA + More efficient HOL/record implementation + * September 2009: Sascha Boehme, TUM SMT method using external SMT solvers