tuned;
authorwenzelm
Wed Sep 21 10:40:28 2005 +0200 (2005-09-21)
changeset 1754379cc33f5ed37
parent 17542 b588e06b6775
child 17544 929d157d4369
tuned;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Wed Sep 21 10:39:38 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Sep 21 10:40:28 2005 +0200
     1.3 @@ -29,6 +29,7 @@
     1.4    (experimental).
     1.5  
     1.6  * 2005: Florian Haftmann, TUM
     1.7 +  Contributions to document 'sugar'.
     1.8    Various ML combinators, notably linear functional transformations.
     1.9    Some cleanup of ML legacy.
    1.10    Additional antiquotations.
    1.11 @@ -52,9 +53,10 @@
    1.12    Improved version of HOL presburger method.
    1.13  
    1.14  * 2004/2005: Steven Obua, TUM
    1.15 -  Pure/defs: more sophisticated check on well-formedness of overloading.
    1.16 +  Pure/defs: more sophisticated checks on well-formedness of overloading.
    1.17    Improved version of HOL/Import, support for HOL-Light.
    1.18    Improved version of HOL-Complex-Matrix.
    1.19 +  Pure/Tools: an experimental evaluator for lambda terms.
    1.20  
    1.21  * 2004/2005: Norbert Schirmer, TUM
    1.22    Contributions to document 'sugar'.