1.1 --- a/TODO.md	Sat Dec 10 14:57:49 2022 +0100
     1.2 +++ b/TODO.md	Sat Dec 10 15:00:55 2022 +0100
     1.3 @@ -2,8 +2,6 @@
     1.4    with separator \<^medskip> and some tool support for automated
     1.5    update (in "isabelle update" and/or PIDE);
     1.6  
     1.7 -* MW?: rename *.sml to *.ML, potentially with tool support;
     1.8 -
     1.9  * MW: implement a template for der Specification
    1.10  
    1.11  * MW: clarify/eliminate Isabelle/Scala add-ons (presently unused)
    1.12 @@ -96,3 +94,9 @@
    1.13        reconsider separation of variants F_I, F_II, see MAWEN paper
    1.14      - !?! I_Model of MethodC          (fairly free sequence, dependent on Formalise.model)
    1.15      - !?! formal arguments of program (fixed sequence)
    1.16 +
    1.17 +* WN: avoid too many uses of "structure Data = Theory_Data", instead use approx. 1 data slot
    1.18 +  per ML module, with type T = ... record or tuple (e.g. see @{apply} ML antiquotation)
    1.19 +
    1.20 +* WN: rename *.sml to *.ML, potentially with tool support by MW;
    1.21 +* WN: rename src/Tools/isac/ to main/ (or something else);