diff -r 2188f247605c -r 52d1b293da7f todo
--- 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