1.1 --- a/CONTRIBUTORS Wed May 28 23:33:36 2008 +0200
1.2 +++ b/CONTRIBUTORS Wed May 28 23:33:51 2008 +0200
1.3 @@ -7,19 +7,38 @@
1.4 Contributions to this Isabelle version
1.5 --------------------------------------
1.6
1.7 -* November 2007: Peter Lammich, Uni Muenster
1.8 - HOL-Lattice: some more lemmas.
1.9 +* 2007/2008:
1.10 + Alexander Krauss, TUM and Florian Haftmann, TUM and Stefan Berghofer, TUM
1.11 + HOL library improvements.
1.12
1.13 -* December 2007: Florian Haftmann, TUM
1.14 - Overloading and Instantiation Target
1.15 +* 2007/2008: Brian Huffman, PSU
1.16 + HOLCF library improvements.
1.17 +
1.18 +* 2007/2008: Stefan Berghofer, TUM
1.19 + HOL-Nominal package improvements.
1.20 +
1.21 +* March 2008: Markus Reiter, TUM
1.22 + HOL/Library/RBT: red-black trees.
1.23
1.24 * February 2008: Alexander Krauss, TUM and Florian Haftmann, TUM and
1.25 Lukas Bulwahn, TUM and John Matthews, Galois:
1.26 HOL/Library/Imperative_HOL: Haskell-style imperative data structures
1.27 for HOL.
1.28
1.29 -* March 2008: Markus Reiter, TUM
1.30 - HOL/Library/RBT: red-black trees.
1.31 +* December 2007: Norbert Schirmer, Uni Saarbruecken
1.32 + Misc improvements of record package in HOL.
1.33 +
1.34 +* December 2007: Florian Haftmann, TUM
1.35 + Overloading and class instantiation target.
1.36 +
1.37 +* December 2007: Florian Haftmann, TUM
1.38 + New version of primrec package for local theories.
1.39 +
1.40 +* December 2007: Alexander Krauss, TUM
1.41 + Method "induction_scheme" in HOL.
1.42 +
1.43 +* November 2007: Peter Lammich, Uni Muenster
1.44 + HOL-Lattice: some more lemmas.
1.45
1.46
1.47 Contributions to Isabelle2007