--- a/CONTRIBUTORS Wed Sep 21 10:39:38 2005 +0200
+++ b/CONTRIBUTORS Wed Sep 21 10:40:28 2005 +0200
@@ -29,6 +29,7 @@
(experimental).
* 2005: Florian Haftmann, TUM
+ Contributions to document 'sugar'.
Various ML combinators, notably linear functional transformations.
Some cleanup of ML legacy.
Additional antiquotations.
@@ -52,9 +53,10 @@
Improved version of HOL presburger method.
* 2004/2005: Steven Obua, TUM
- Pure/defs: more sophisticated check on well-formedness of overloading.
+ Pure/defs: more sophisticated checks on well-formedness of overloading.
Improved version of HOL/Import, support for HOL-Light.
Improved version of HOL-Complex-Matrix.
+ Pure/Tools: an experimental evaluator for lambda terms.
* 2004/2005: Norbert Schirmer, TUM
Contributions to document 'sugar'.