# HG changeset patch
# User wenzelm
# Date 1256554678 -3600
# Node ID 45f6afe0a979091e6b22aabedc060c321fb098ee
# Parent  50268fcec3cedffd722c1ef5d616326b4c3d4c78
misc tuning and updates;

diff -r 50268fcec3ce -r 45f6afe0a979 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Oct 26 11:37:33 2009 +0100
+++ b/CONTRIBUTORS	Mon Oct 26 11:57:58 2009 +0100
@@ -8,43 +8,44 @@
 --------------------------------------
 
 * October 2009: Sascha Boehme, TUM
-  Extension of SMT method: proof-reconstruction for the SMT solver Z3
+  Extension of SMT method: proof-reconstruction for the SMT solver Z3.
 
 * October 2009: Florian Haftmann, TUM
-  Refinement of parts of the HOL datatype package
+  Refinement of parts of the HOL datatype package.
 
 * October 2009: Florian Haftmann, TUM
-  Generic term styles for term antiquotations
+  Generic term styles for term antiquotations.
 
 * September 2009: Thomas Sewell, NICTA
-  More efficient HOL/record implementation
+  More efficient HOL/record implementation.
 
 * September 2009: Sascha Boehme, TUM
-  SMT method using external SMT solvers
+  SMT method using external SMT solvers.
 
 * September 2009: Florian Haftmann, TUM
-  Refinement of sets and lattices
+  Refinement of sets and lattices.
 
 * July 2009: Jeremy Avigad and Amine Chaieb
-  New number theory
+  New number theory.
 
 * July 2009: Philipp Meyer, TUM
-  HOL/Library/Sum_of_Squares: functionality to call a remote csdp prover
+  HOL/Library/Sum_Of_Squares: functionality to call a remote csdp
+  prover.
 
 * July 2009: Florian Haftmann, TUM
-  New quickcheck implementation using new code generator
+  New quickcheck implementation using new code generator.
 
 * July 2009: Florian Haftmann, TUM
-  HOL/Library/FSet: an explicit type of sets; finite sets ready to use for code generation
-
-* June 2009: Andreas Lochbihler, Uni Karlsruhe
-  HOL/Library/Fin_Fun: almost everywhere constant functions
+  HOL/Library/FSet: an explicit type of sets; finite sets ready to use
+  for code generation.
 
 * June 2009: Florian Haftmann, TUM
-  HOL/Library/Tree: searchtrees implementing mappings, ready to use for code generation
+  HOL/Library/Tree: searchtrees implementing mappings, ready to use
+  for code generation.
 
 * March 2009: Philipp Meyer, TUM
-  minimalization algorithm for results from sledgehammer call
+  Minimalization algorithm for results from sledgehammer call.
+
 
 Contributions to Isabelle2009
 -----------------------------