1.1 --- a/src/Tools/isac/TODO.thy	Fri May 01 16:06:59 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Fri May 01 17:17:41 2020 +0200
     1.3 @@ -29,9 +29,9 @@
     1.4    \item ML_file "rule-set.sml" Know_Store -> MathEngBasic (=ThmC, Rewrite)
     1.5      probably first review calcelems.sml
     1.6    \item xxx
     1.7 -  \item replace src/ Erls Rule_Set.Empty
     1.8 +  \item rename/relocate: Selem.result -> Calc.result ?OR? (NEW..)Formula.result
     1.9    \item xxx
    1.10 -  \item xxx
    1.11 +  \item replace src/ Erls by Rule_Set.Empty
    1.12    \item xxx
    1.13    \item rename ptyps.sml -> specify-etc.sml
    1.14          rename Specify -> Specify_Etc