# HG changeset patch
# User nipkow
# Date 1040378073 -3600
# Node ID 52d1b293da7f8bce7c52f0c63aa5c0b8edf2288c
# Parent  2188f247605c0b68e01f0d0e9840d462677216b0
*** empty log message ***

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