CONTRIBUTORS
changeset 17572 81fcc0029761
parent 17562 623c9e8668aa
child 17640 dca023dd6d3c
     1.1 --- a/CONTRIBUTORS	Wed Sep 21 19:16:16 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Sep 21 20:16:34 2005 +0200
     1.3 @@ -53,9 +53,9 @@
     1.4    Improved version of HOL presburger method.
     1.5  
     1.6  * 2004/2005: Steven Obua, TUM
     1.7 -  Pure/defs: more sophisticated checks on well-formedness of overloading.
     1.8    Improved version of HOL/Import, support for HOL-Light.
     1.9    Improved version of HOL-Complex-Matrix.
    1.10 +  Pure/defs: more sophisticated checks on well-formedness of overloading.
    1.11    Pure/Tools: an experimental evaluator for lambda terms.
    1.12  
    1.13  * 2004/2005: Norbert Schirmer, TUM