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