1.1 --- a/TODO.md	Fri Jun 11 11:49:34 2021 +0200
     1.2 +++ b/TODO.md	Sat Jun 12 14:27:03 2021 +0200
     1.3 @@ -4,8 +4,6 @@
     1.4  
     1.5  * MW: ML antiqutation @{rule_thm NAME} to produce (Rule.Thm ("NAME", ThmC.numerals_to_Free "NAME"));
     1.6  
     1.7 -* MW: more concise "setup KEStore_Elems.add_rlss" etc.;
     1.8 -
     1.9  * MW: check uses of Unsynchronized.ref vs. Synchronized.var;
    1.10  
    1.11  * MW: proper formal name space for rule set, model patterns, methods;
    1.12 @@ -26,6 +24,8 @@
    1.13  old ASCII notation (e.g. "EX" vs. "\<exists>"), with the help of PIDE markup;
    1.14  
    1.15  
    1.16 +* Clarify symmetric rule: Thm.apply_attribute Calculation.symmetric thm context (!?);
    1.17 +
    1.18  * Clarify rule_set "prog_expr": avoid rebinding!?
    1.19  
    1.20  * rule_set: proper name space and declaration order (!?);