1.1 --- a/src/Tools/isac/TODO.thy	Mon Dec 30 11:16:00 2019 +0100
     1.2 +++ b/src/Tools/isac/TODO.thy	Wed Jan 15 11:47:38 2020 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4    \item xxx
     1.5    \item ??????????? WHY CAN LucinNEW.by_tactic NOT BE REPLACED BY Step_Solve.by_tactic ???????????
     1.6    \item xxx
     1.7 -  \item xxx
     1.8 +  \item ? datatype Tactic.input: MathEngBasic/tactic-def.sml + tactic.sml ?!?
     1.9    \item xxx
    1.10    \item rm test/..--- check Scripts ---
    1.11    \item xxx