*** empty log message ***
authornipkow
Tue Apr 05 08:03:52 2005 +0200 (2005-04-05 ago)
changeset 15654d53e5370cfbf
parent 15653 3549ff7158f3
child 15655 157f3988f775
*** empty log message ***
TODO
     1.1 --- a/TODO	Mon Apr 04 18:43:18 2005 +0200
     1.2 +++ b/TODO	Tue Apr 05 08:03:52 2005 +0200
     1.3 @@ -23,4 +23,6 @@
     1.4  
     1.5  - rules -> iprover (Stefan)
     1.6  
     1.7 +- ball, bex and setsum congruence rules (Tobias & Stefan)
     1.8 +
     1.9  - remove this file (Tobias)