1.1 --- a/TODO.md	Tue Jun 01 21:01:32 2021 +0200
     1.2 +++ b/TODO.md	Wed Jun 09 20:28:42 2021 +0200
     1.3 @@ -26,6 +26,12 @@
     1.4  old ASCII notation (e.g. "EX" vs. "\<exists>"), with the help of PIDE markup;
     1.5  
     1.6  
     1.7 +* Clarify rule_set "prog_expr": avoid rebinding!?
     1.8 +
     1.9 +* rule_set: proper name space and declaration order (!?);
    1.10 +
    1.11 +* Avoid Thm.get_name_hint --- somewhat fragile.
    1.12 +
    1.13  * Is it possible to eliminate union_overwrite, in favour of more standard data
    1.14    add/merge discipline?
    1.15