1.1 --- a/src/Tools/isac/TODO.thy	Sat May 02 11:36:13 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Sat May 02 12:13:20 2020 +0200
     1.3 @@ -26,8 +26,8 @@
     1.4  (*/------- to  -------\*)
     1.5  (*\------- to  -------/*)
     1.6    \begin{itemize}
     1.7 -  \item ML_file "rule-set.sml" Know_Store -> MathEngBasic (=ThmC, Rewrite)
     1.8 -    probably first review calcelems.sml
     1.9 +  \item xxx
    1.10 +  \item rm warnings from solve-step.sml
    1.11    \item xxx
    1.12    \item rename/relocate: Selem.result -> Calc.result ?OR? (NEW..)Formula.result
    1.13    \item xxx