| changeset 16164 | 6b0d68207c14 |
| parent 16119 | c0916ed7b8e9 |
| child 16930 | 8d0daa50f381 |
--- a/TODO Wed Jun 01 08:58:25 2005 +0200 +++ b/TODO Wed Jun 01 09:46:06 2005 +0200 @@ -19,8 +19,6 @@ - Include IsaPlanner? (Larry to co-ordinate) -- update LaTeXsugar, remove references to future Isabelle2005 etc. (Gerwin) - - rules -> iprover (Stefan) - ball, bex and setsum congruence rules (Tobias & Stefan)