1.1 --- a/src/Tools/isac/TODO.thy	Mon May 04 13:27:45 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Mon May 04 16:25:14 2020 +0200
     1.3 @@ -29,7 +29,6 @@
     1.4    \item xxx
     1.5    \item rename Tactic.Calculate -> Tactic.Evaluate
     1.6    \item xxx
     1.7 -  \item rename/relocate: Selem.result -> Calc.result ?OR? (NEW..)Formula.result
     1.8    \item xxx
     1.9    \item replace src/ Erls by Rule_Set.Empty
    1.10    \item xxx
    1.11 @@ -332,7 +331,6 @@
    1.12      \item special naming for solutions of equation solving: x_1, x_2, ...
    1.13      \end{itemize}
    1.14    \item xxx
    1.15 -  \item structure Tactic Specify -?-> Proglang (would require Model., Selem.)
    1.16    \item xxx
    1.17    \item this has been written in one go:
    1.18      \begin{itemize}