1.1 --- a/src/Tools/isac/TODO.thy	Thu May 07 11:42:19 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Thu May 07 12:15:37 2020 +0200
     1.3 @@ -27,13 +27,8 @@
     1.4  (*\------- to  from -------/*)
     1.5    \begin{itemize}
     1.6    \item xxx
     1.7 -  \item fun specify_init_calc defined twice
     1.8 -  \item xxx
     1.9 -  \item push nes identifiers back from O/I_Model to Model_Def
    1.10 -  \item xxx
    1.11    \item rename Tactic.Calculate -> Tactic.Evaluate
    1.12    \item xxx
    1.13 -  \item xxx
    1.14    \item replace src/ Erls by Rule_Set.Empty
    1.15    \item xxx
    1.16    \item rename ptyps.sml -> specify-etc.sml