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