CONTRIBUTORS
author wenzelm
Tue Sep 20 21:48:37 2005 +0200 (2005-09-20)
changeset 17532 ab75f2b0cec6
parent 17382 32a165db45ea
child 17534 56e8db202f66
permissions -rw-r--r--
more contributions;
     1 
     2 Contributions to Isabelle 2005
     3 ------------------------------
     4 
     5 * September 2005: Bernhard Haeupler
     6   Method comm_ring for proving equalities in commutative rings.
     7 
     8 * July/August 2005: Jeremy Avigad, Carnegie Mellon University
     9   Various improvements of the HOL and HOL-Complex library.
    10 
    11 * July 2005: Florian Zuleger, Johannes Hoelzl, and Simon Funke, TUM
    12   Some structured proofs about completeness of real numbers.
    13 
    14 * May 2005: Rafal Kolanski and Gerwin Klein, NICTA
    15   Improved retrieval of facts from theory/proof context.
    16 
    17 * February 2005: Lucas Dixon, University of Edinburgh
    18   Improved subst method.
    19 
    20 * 2005: Brian Huffman, OGI
    21   Various improvements of HOLCF.
    22   Some improvements of the HOL-Complex library.
    23 
    24 * 2005: Claire Quigley and Jia Meng, University of Cambridge
    25   Some support for asynchronous communication with external provers
    26   (experimental).
    27 
    28 * 2005: Florian Haftmann, TUM
    29   Various ML combinators, notably linear functional transformations.
    30   Some cleanup of ML legacy.
    31   Additional antiquotations.
    32   Improved Isabelle web site.
    33 
    34 * 2004/2005: David Aspinall, University of Edinburgh
    35   Various elements of XML and PGIP based communication with user
    36   interfaces (experimental).
    37 
    38 * 2004/2005: Gerwin Klein, NICTA
    39   Contributions to document 'sugar'.
    40   Improved Isabelle web site.
    41   Improved HTML presentation of theories.
    42 
    43 * 2004/2005: Clemens Ballarin, TUM
    44   Provers: tools for transitive relations and quasi orders.
    45   Improved version of locales, notably interpretation of locales.
    46   Improved version of HOL-Algebra.
    47 
    48 * 2004/2005: Amine Chaieb, TUM
    49   Improved version of HOL presburger method.
    50 
    51 * 2004/2005: Steven Obua, TUM
    52   Pure/defs: more sophisticated check on well-formedness of overloading.
    53   Improved version of HOL/Import, support for HOL-Light.
    54   Improved version of HOL-Complex-Matrix.
    55 
    56 * 2004/2005: Norbert Schirmer, TUM
    57   Contributions to document 'sugar'.
    58   Improved version of HOL/record.
    59 
    60 * 2004/2005: Sebastian Skalberg, TUM
    61   Improved version of HOL/Import.
    62   Some internal ML reorganizations.
    63 
    64 * 2004/2005: Tjark Weber, TUM
    65   Improved version of HOL/refute.
    66 
    67 $Id$