
diff -r 76a086c8bbef -r 2e996663e5a7 src/Tools/isac/TODO.thy
--- a/src/Tools/isac/TODO.thy	Wed Nov 25 09:14:14 2020 +0100
+++ b/src/Tools/isac/TODO.thy	Wed Nov 25 12:44:43 2020 +0100
@@ -116,7 +116,6 @@
   \item rename   Base_Tool.thy  <---         Base_Tools
   \item adopt naming conventions in Knowledge: EqSystem --> Equation_System, etc
   \item rename field scr in meth
-  \item DEL double code: nxt_specify_init_calc IN specify.sml + step-specify.sml
   \item xxx
   \item xxx
   \item xxx




