1.1 --- a/TODO.md	Thu Jun 10 12:48:50 2021 +0200
     1.2 +++ b/TODO.md	Thu Jun 10 12:53:02 2021 +0200
     1.3 @@ -39,6 +39,8 @@
     1.4  
     1.5  * Check/clarify Context.theory_name vs. Context.theory_long_name.
     1.6  
     1.7 +* Eliminate mutable Rewrite_Ord.rew_ord' (!?);
     1.8 +
     1.9  
    1.10  * WN: remove always empty arguments in MethodC.prep_input and Problem.prep_input
    1.11    (following the "TODO" comment);