--- a/todo Thu Dec 19 10:48:13 2002 +0100 +++ b/todo Fri Dec 20 10:54:33 2002 +0100 @@ -4,3 +4,4 @@ complete the new formalization of Group theory add Presburger arithmetic (if possible until March) +stop eta-contraction for binders