1.1 --- a/TODO.md	Wed Aug 24 19:12:17 2022 +0200
     1.2 +++ b/TODO.md	Wed Aug 24 19:15:06 2022 +0200
     1.3 @@ -60,7 +60,6 @@
     1.4  
     1.5  ***** priority of WN items is top down, most urgent/simple on top
     1.6  
     1.7 -* WN: polish naming in BaseDefinitions/eval-def.sml
     1.8  * WN: Step_Specify.initialisePIDE: remove hdl in return-value, replace Step_Specify.nxt_specify_init_calc
     1.9        ? which uses initialisePIDE !?
    1.10  * WN: ? unify "no_met" with "empty_meth_id" from References.empty ?