1.1 --- a/TODO.md Sun Jul 31 16:35:33 2022 +0200
1.2 +++ b/TODO.md Wed Aug 03 13:22:36 2022 +0200
1.3 @@ -85,7 +85,9 @@
1.4 val rewrite_trace = Attrib.setup_config_bool \<^binding>\<open>rewrite_trace\<close> (K false);
1.5 \<close>
1.6
1.7 -* WN: Calculate.the: add structure Calculate
1.8 +* WN: Calculate.thy: add structure Calculate
1.9 +* WN: cleanup method-def.sml problem-def.sml
1.10 +* WN: MethodC.from_store throws exn 'get_pbt not found: ' ... confusing !! take 'ketype' as an argument
1.11
1.12 * WN: rewriting with ctxt not complete (cause errors hard to indentify later)
1.13 - Prconditions.eval