tuned;
authorwenzelm
Sat Sep 17 20:16:35 2005 +0200 (2005-09-17)
changeset 174781865064ca82a
parent 17477 ceb42ea2f223
child 17479 68a7acb5f22e
tuned;
TODO
     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)