1.1 --- a/TODO.md	Mon Apr 19 11:45:43 2021 +0200
     1.2 +++ b/TODO.md	Mon Apr 19 13:57:47 2021 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  * WN: eliminate odd notation term tricks: replace "^^^" e.g. by "\<up>" based on "_ powr _" for type real;
     1.6  
     1.7 -* WN: eliminate numerals_to_free, use existing Isabelle/HOL facilities;
     1.8 +* WN: eliminate ThmC.numerals_to_Free, use existing Isabelle/HOL representation;
     1.9  
    1.10  * MW: clarify/eliminate Isabelle/Scala add-ons (presently unused)
    1.11  
    1.12 @@ -19,3 +19,5 @@
    1.13      >       "src/Tools/isac/etc" -> Path.explode("isabelle.isac"),
    1.14  
    1.15  * reconsider use of Thy_Info.get_theory: only works with batch-build, not within PIDE session;
    1.16 +
    1.17 +* MW: check uses of Unsynchronized.ref vs. Synchronized.var;