more contribs;
authorwenzelm
Tue Jul 19 20:46:59 2005 +0200 (2005-07-19)
changeset 1689223887fee6071
parent 16891 20bd6e8c9a4f
child 16893 0cc94e6f6ae5
more contribs;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Tue Jul 19 17:54:32 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Jul 19 20:46:59 2005 +0200
     1.3 @@ -1,8 +1,14 @@
     1.4 +
     1.5 +* July 2005: Jeremy Avigad, Carnegie Mellon University
     1.6 +  Various improvements of the HOL and HOL-Complex library.
     1.7  
     1.8  * July 2005: Florian Haftmann, TUM
     1.9    Some combinators for linear functional transformations in ML:
    1.10    |->  #->  fold_map  etc.
    1.11  
    1.12 +* July 2005: Florian Zuleger, Johannes Hoelzl, and Simon Funke, TUM
    1.13 +  Some structured proofs about completeness of real numbers.
    1.14 +
    1.15  * May 2005: Rafal Kolanski, NICTA
    1.16    Substantially improved retrieval of facts from theory/proof context.
    1.17