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