CONTRIBUTORS
changeset 24799 dff164b6f2a6
parent 24333 e77ea0ea7f2c
child 24803 38577b4b1fde
--- a/CONTRIBUTORS	Mon Oct 01 19:43:34 2007 +0200
+++ b/CONTRIBUTORS	Mon Oct 01 19:52:07 2007 +0200
@@ -1,5 +1,5 @@
-For the purposes of the license agreement in the file COPYRIGHT, a 
-'contributor' is anybody who is listed in this file (CONTRIBUTORS) or 
+For the purposes of the license agreement in the file COPYRIGHT, a
+'contributor' is anybody who is listed in this file (CONTRIBUTORS) or
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
@@ -7,32 +7,40 @@
 Contributions to Isabelle 2007
 ------------------------------
 
-* August 2007: Jeremy Dawson, NICTA,
-               Paul Graunke, Galois, 
-               Brian Huffman, PSU,
-               Gerwin Klein, NICTA, 
-               John Matthews, Galois
+* August 2007: Jeremy Dawson, NICTA and Paul Graunke, Galois and Brian
+    Huffman, PSU and Gerwin Klein, NICTA and John Matthews, Galois
   HOL-Word: a library for fixed-size machine words in Isabelle.
 
 * August 2007: Brian Huffman, PSU
-  HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type
+  HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type.
 
 * June 2007: Amine Chaieb, TUM
-  Semiring normalization and Groebner Bases
+  Semiring normalization and Groebner Bases.
+  Support for dens linear orders.
 
 * June 2007: Joe Hurd, Oxford
-  Metis theorem-prover
+  Metis theorem-prover.
+
+* 2007: Kong W. Susanto, Cambridge
+  HOL: Metis prover integration.
 
-* 2006/2007: Kong W. Susanto, Cambridge
-  HOL: Metis prover integration.
+* 2007: Stefan Berghofer, TUM
+  HOL: inductive predicates.
+
+* 2006/2007: Alexander Krauss, TUM
+  HOL: function package and related theories on termination.
 
 * 2006/2007: Florian Haftmann, TUM
   Pure: generic code generator framework.
   Pure: class package.
-  HOL: theory tuning, code generator setup.
+  HOL: theory reorganization, code generator setup.
+
+* 2006/2007: Christian Urban, TUM and Stefan Berghofer, TUM and Julien
+  Narboux, TUM
+  HOL/Nominal package and related tools.
 
 * November 2006: Lukas Bulwahn, TUM
-  HOL/function: method "lexicographic_order".
+  HOL: method "lexicographic_order" for function package.
 
 * October 2006: Stefan Hohe, TUM
   HOL-Algebra: ideals and quotients over rings.