1.1 --- a/src/Tools/isac/TODO.thy	Wed Apr 22 11:06:48 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Wed Apr 22 11:23:30 2020 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4    \item replace src/ Erls Rule_Set.Empty
     1.5    \item xxx
     1.6    \item rename exec-def.sml -> eval_def.sml
     1.7 -               calculate.sml _> evaluate.sml (struct Eval -> Evaluate?!?)
     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