1.1 --- a/src/Tools/isac/TODO.thy	Mon May 04 11:13:16 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Mon May 04 12:38:16 2020 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4  (*\------- to  from  -------/*)
     1.5    \begin{itemize}
     1.6    \item xxx
     1.7 -  \item rm warnings from solve-step.sml
     1.8 +  \item rename Tactic.Calculate -> Tactic.Evaluate
     1.9    \item xxx
    1.10    \item rename/relocate: Selem.result -> Calc.result ?OR? (NEW..)Formula.result
    1.11    \item xxx