1.1 --- a/TODO.md	Wed Aug 03 18:17:27 2022 +0200
     1.2 +++ b/TODO.md	Thu Aug 04 12:48:37 2022 +0200
     1.3 @@ -50,7 +50,7 @@
     1.4      and all Isac_Knowledge is in session Isac.
     1.5      So Context.theory_name suffices
     1.6  
     1.7 -* Eliminate mutable Rewrite_Ord.rew_ord' (!?);
     1.8 +* Eliminate mutable Rewrite_Ord.id (!?);
     1.9      shall be done in connection with cf. e587c45cae0f note in Build_Thydata.thy
    1.10  
    1.11  * What is the idea behind KEStore_Elems.add_thes? How to do it properly in current Isabelle?