# HG changeset patch
# User wenzelm
# Date 1121798819 -7200
# Node ID 23887fee6071584cc25744496b374d84a1b91f98
# Parent  20bd6e8c9a4ff4a6ae55092a1d6fce503f4860eb
more contribs;

diff -r 20bd6e8c9a4f -r 23887fee6071 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Jul 19 17:54:32 2005 +0200
+++ b/CONTRIBUTORS	Tue Jul 19 20:46:59 2005 +0200
@@ -1,8 +1,14 @@
+
+* July 2005: Jeremy Avigad, Carnegie Mellon University
+  Various improvements of the HOL and HOL-Complex library.
 
 * July 2005: Florian Haftmann, TUM
   Some combinators for linear functional transformations in ML:
   |->  #->  fold_map  etc.
 
+* July 2005: Florian Zuleger, Johannes Hoelzl, and Simon Funke, TUM
+  Some structured proofs about completeness of real numbers.
+
 * May 2005: Rafal Kolanski, NICTA
   Substantially improved retrieval of facts from theory/proof context.