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