CONTRIBUTORS
changeset 33005 bd8e15958708
parent 32762 5f485f98652f
child 33010 39f73a59e855
     1.1 --- a/CONTRIBUTORS	Sun Oct 18 22:19:05 2009 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Oct 19 16:32:03 2009 +0200
     1.3 @@ -7,6 +7,12 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* Oktober 2009: Florian Haftmann, TUM
     1.8 +  Refinement of parts of the HOL datatype package
     1.9 +
    1.10 +* Oktober 2009: Florian Haftmann, TUM
    1.11 +  Generic term styles for term antiquotations
    1.12 +
    1.13  * September 2009: Thomas Sewell, NICTA
    1.14    More efficient HOL/record implementation
    1.15  
    1.16 @@ -14,7 +20,7 @@
    1.17    SMT method using external SMT solvers
    1.18  
    1.19  * September 2009: Florian Haftmann, TUM
    1.20 -  Refinement of Sets and Lattices
    1.21 +  Refinement of sets and lattices
    1.22  
    1.23  * July 2009: Jeremy Avigad and Amine Chaieb
    1.24    New number theory