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