1.1 --- a/src/Tools/isac/TODO.thy	Wed Apr 29 09:03:01 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Wed Apr 29 12:30:51 2020 +0200
     1.3 @@ -292,7 +292,7 @@
     1.4      \item Step*: Step_Specify | Step_Solve | Step
     1.5        \begin{itemize}
     1.6        \item *.check | *.add ARE TOO LATE IN BUILD with Step_Specify | Step_Solve
     1.7 -        Specify_Step.check | Specify_Step.add <-- Applicable.applicable_in
     1.8 +        Specify_Step.check | Specify_Step.add <-- ApplicableOLD.applicable_in
     1.9          Solve_Step.check   | Solve_Step.add   <-- Generate.generate1
    1.10        \item xxx
    1.11        \end{itemize}