diff -r 137227934d2e -r 145e45cd7a0f TODO.md
--- a/TODO.md	Wed Aug 03 13:22:36 2022 +0200
+++ b/TODO.md	Wed Aug 03 17:18:47 2022 +0200
@@ -86,7 +86,7 @@
 \<close>
 
 * WN: Calculate.thy: add structure Calculate
-* WN: cleanup method-def.sml problem-def.sml
+* WN: cleanup method-def.sml, problem-def.sml, "eval-def.sml", "rewrite-order.sml"
 * WN: MethodC.from_store throws exn 'get_pbt not found: ' ... confusing !! take 'ketype' as an argument
 
 * WN: rewriting with ctxt not complete (cause errors hard to indentify later)