TODO
changeset 17478 1865064ca82a
parent 17471 fa31452b9af6
     1.1 --- a/TODO	Sat Sep 17 20:14:30 2005 +0200
     1.2 +++ b/TODO	Sat Sep 17 20:16:35 2005 +0200
     1.3 @@ -9,10 +9,6 @@
     1.4  
     1.5  - convert fast_lin_arith.ML and cooper_dec.ML to use IntInf (Tobias)
     1.6  
     1.7 -- update or remove ex/MT (Larry)  
     1.8 -
     1.9 -- Include IsaPlanner? (Larry to co-ordinate)
    1.10 -
    1.11  - ball, bex and setsum congruence rules (Tobias & Stefan)
    1.12  
    1.13  - remove this file (Tobias)