1.1 --- a/src/Tools/isac/TODO.thy	Wed Apr 15 18:00:58 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Fri Apr 17 15:12:19 2020 +0200
     1.3 @@ -29,7 +29,17 @@
     1.4    \item ML_file "rule-set.sml" KEStore -> 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 xxx
     1.9 +  \item rename exec-def.sml -> eval_def.sml
    1.10 +               calculate.sml _> evaluate.sml (struct Eval -> Evaluate?!?)
    1.11 +  \item xxx
    1.12 +  \item rename KEStore -> Know_Store KNOWLEDGE_STORE + file.sml
    1.13 +               Build_Thydata -> Build_Knowledge
    1.14 +  \item xxx
    1.15 +  \item rename ptyps.sml -> specify-etc.sml
    1.16 +        rename Specify -> Specify_Etc
    1.17 +        rename SpecifyNEW -> Specify
    1.18    \item xxx
    1.19    \item xxx
    1.20    \item xxx