1.1 --- a/src/Tools/isac/TODO.thy	Fri May 01 15:28:40 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Fri May 01 16:06:59 2020 +0200
     1.3 @@ -293,9 +293,9 @@
     1.4      \begin{itemize}
     1.5      \item Step*: Step_Specify | Step_Solve | Step
     1.6        \begin{itemize}
     1.7 -      \item *.check | *.add ARE TOO LATE IN BUILD with Step_Specify | Step_Solve
     1.8 -        Specify_Step.check | Specify_Step.add <-- ApplicableOLD.applicable_in
     1.9 -        Solve_Step.check   | Solve_Step.add   <-- Generate.generate1
    1.10 +      \item *.check | *.add
    1.11 +        Specify_Step.add <-- Generate.generate1
    1.12 +        Solve_Step.add   <-- Generate.generate1
    1.13        \item xxx
    1.14        \end{itemize}
    1.15      \item xxx