1.1 --- a/src/Tools/isac/TODO.thy	Wed Nov 25 09:14:14 2020 +0100
     1.2 +++ b/src/Tools/isac/TODO.thy	Wed Nov 25 12:44:43 2020 +0100
     1.3 @@ -116,7 +116,6 @@
     1.4    \item rename   Base_Tool.thy  <---         Base_Tools
     1.5    \item adopt naming conventions in Knowledge: EqSystem --> Equation_System, etc
     1.6    \item rename field scr in meth
     1.7 -  \item DEL double code: nxt_specify_init_calc IN specify.sml + step-specify.sml
     1.8    \item xxx
     1.9    \item xxx
    1.10    \item xxx