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 (!?);