CONTRIBUTORS
changeset 32618 42865636d006
parent 32600 1b3b0cc604ce
child 32762 5f485f98652f
     1.1 --- a/CONTRIBUTORS	Fri Sep 18 14:40:24 2009 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Sep 18 18:13:19 2009 +0200
     1.3 @@ -7,6 +7,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* September 2009: Sascha Boehme, TUM
     1.8 +  SMT method using external SMT solvers
     1.9 +
    1.10  * September 2009: Florian Haftmann, TUM
    1.11    Refinement of Sets and Lattices
    1.12