--- a/TODO Mon Apr 04 18:43:18 2005 +0200 +++ b/TODO Tue Apr 05 08:03:52 2005 +0200 @@ -23,4 +23,6 @@ - rules -> iprover (Stefan) +- ball, bex and setsum congruence rules (Tobias & Stefan) + - remove this file (Tobias)