1.1 --- a/src/Tools/isac/TODO.thy	Tue Apr 28 19:39:06 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Wed Apr 29 09:03:01 2020 +0200
     1.3 @@ -31,11 +31,7 @@
     1.4    \item xxx
     1.5    \item replace src/ Erls Rule_Set.Empty
     1.6    \item xxx
     1.7 -  \item rename exec-def.sml -> eval_def.sml
     1.8 -               evaluate.sml _> evaluate.sml (struct Eval -> Evaluate?!?)
     1.9    \item xxx
    1.10 -  \item rename Know_Store -> Know_Store KNOWLEDGE_STORE + file.sml
    1.11 -               Build_Thydata -> Build_Knowledge
    1.12    \item xxx
    1.13    \item rename ptyps.sml -> specify-etc.sml
    1.14          rename Specify -> Specify_Etc
    1.15 @@ -60,7 +56,7 @@
    1.16    \item xxx
    1.17    \item xxx
    1.18    \item xxx
    1.19 -  \item use "Exec_Def" for renaming identifiers
    1.20 +  \item use "Eval_Def" for renaming identifiers
    1.21    \item xxx
    1.22    \item why does Test_Build_Thydata.thy depend on ProgLang and not on CalcElements ?
    1.23    \item xxx