CONTRIBUTORS
author wenzelm
Wed Sep 14 22:04:33 2005 +0200 (2005-09-14)
changeset 17382 32a165db45ea
parent 16892 23887fee6071
child 17532 ab75f2b0cec6
permissions -rw-r--r--
Bernhard Haeupler: comm_ring;
     1 
     2 * September 2005: Bernhard Haeupler
     3   Method comm_ring for proving equalities in commutative rings.
     4 
     5 * July 2005: Jeremy Avigad, Carnegie Mellon University
     6   Various improvements of the HOL and HOL-Complex library.
     7 
     8 * July 2005: Florian Haftmann, TUM
     9   Some combinators for linear functional transformations in ML:
    10   |->  #->  fold_map  etc.
    11 
    12 * July 2005: Florian Zuleger, Johannes Hoelzl, and Simon Funke, TUM
    13   Some structured proofs about completeness of real numbers.
    14 
    15 * May 2005: Rafal Kolanski, NICTA
    16   Substantially improved retrieval of facts from theory/proof context.
    17 
    18 * May 2005: Florian Haftmann, TUM
    19   Several new antiquotation.
    20 
    21 * February 2005: Lucas Dixon, University of Edinburgh
    22   Substantially improved subst method.
    23 
    24 $Id$