CONTRIBUTORS
changeset 17543 79cc33f5ed37
parent 17534 56e8db202f66
child 17562 623c9e8668aa
equal deleted inserted replaced
17542:b588e06b6775 17543:79cc33f5ed37
    27 * 2005: Claire Quigley and Jia Meng, University of Cambridge
    27 * 2005: Claire Quigley and Jia Meng, University of Cambridge
    28   Some support for asynchronous communication with external provers
    28   Some support for asynchronous communication with external provers
    29   (experimental).
    29   (experimental).
    30 
    30 
    31 * 2005: Florian Haftmann, TUM
    31 * 2005: Florian Haftmann, TUM
       
    32   Contributions to document 'sugar'.
    32   Various ML combinators, notably linear functional transformations.
    33   Various ML combinators, notably linear functional transformations.
    33   Some cleanup of ML legacy.
    34   Some cleanup of ML legacy.
    34   Additional antiquotations.
    35   Additional antiquotations.
    35   Improved Isabelle web site.
    36   Improved Isabelle web site.
    36 
    37 
    50 
    51 
    51 * 2004/2005: Amine Chaieb, TUM
    52 * 2004/2005: Amine Chaieb, TUM
    52   Improved version of HOL presburger method.
    53   Improved version of HOL presburger method.
    53 
    54 
    54 * 2004/2005: Steven Obua, TUM
    55 * 2004/2005: Steven Obua, TUM
    55   Pure/defs: more sophisticated check on well-formedness of overloading.
    56   Pure/defs: more sophisticated checks on well-formedness of overloading.
    56   Improved version of HOL/Import, support for HOL-Light.
    57   Improved version of HOL/Import, support for HOL-Light.
    57   Improved version of HOL-Complex-Matrix.
    58   Improved version of HOL-Complex-Matrix.
       
    59   Pure/Tools: an experimental evaluator for lambda terms.
    58 
    60 
    59 * 2004/2005: Norbert Schirmer, TUM
    61 * 2004/2005: Norbert Schirmer, TUM
    60   Contributions to document 'sugar'.
    62   Contributions to document 'sugar'.
    61   Improved version of HOL/record.
    63   Improved version of HOL/record.
    62 
    64