1.1 --- a/TODO.md	Sat Jun 12 18:30:17 2021 +0200
     1.2 +++ b/TODO.md	Sat Jun 12 18:30:31 2021 +0200
     1.3 @@ -42,6 +42,8 @@
     1.4  * Eliminate mutable Rewrite_Ord.rew_ord' (!?);
     1.5  
     1.6  
     1.7 +* WN: clarify Rule.Thm ("minus_divide_left", ...): Should this be @{rule_thm_sym} antiquotation?
     1.8 +
     1.9  * WN: remove always empty arguments in MethodC.prep_input and Problem.prep_input
    1.10    (following the "TODO" comment);
    1.11