1.1 --- a/TODO.md	Thu May 26 12:53:13 2022 +0200
     1.2 +++ b/TODO.md	Fri May 27 12:07:55 2022 +0200
     1.3 @@ -59,8 +59,6 @@
     1.4      (*1*)val _ = tracing ("hd_ord (f, g)      = " ^ ((pr_ord o hd_ord) (f, g)) );
     1.5      (*2*)val _ = @{print tracing}{a = "hd_ord (f, g)      = ", z = hd_ord (f, g)}(**)
     1.6  
     1.7 -* WN: first parse with ctxt in Specify (O_Model.init shall return a context,..) etc
     1.8 -
     1.9  
    1.10  * WN: eliminate global flags like "trace_on", replace Unsynchronized.ref by
    1.11