1.1 --- a/TODO.md	Wed Aug 03 17:18:47 2022 +0200
     1.2 +++ b/TODO.md	Wed Aug 03 18:06:02 2022 +0200
     1.3 @@ -79,12 +79,6 @@
     1.4      (*2*)val _ = @{print tracing}{a = "hd_ord (f, g)      = ", z = hd_ord (f, g)}(**)
     1.5  
     1.6  
     1.7 -* WN: eliminate global flags like "trace_on", replace Unsynchronized.ref by
     1.8 -
     1.9 -ML \<open>
    1.10 -  val rewrite_trace = Attrib.setup_config_bool \<^binding>\<open>rewrite_trace\<close> (K false);
    1.11 -\<close>
    1.12 -
    1.13  * WN: Calculate.thy: add structure Calculate
    1.14  * WN: cleanup method-def.sml, problem-def.sml, "eval-def.sml", "rewrite-order.sml"
    1.15  * WN: MethodC.from_store throws exn 'get_pbt not found: ' ... confusing !! take 'ketype' as an argument