1.1 --- a/src/Tools/isac/TODO.thy	Mon May 04 16:47:32 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Mon May 04 17:08:32 2020 +0200
     1.3 @@ -27,6 +27,8 @@
     1.4  (*\------- to  from -------/*)
     1.5    \begin{itemize}
     1.6    \item xxx
     1.7 +  \item push nes identifiers back from O/I_Model to Model_Def
     1.8 +  \item xxx
     1.9    \item rename Tactic.Calculate -> Tactic.Evaluate
    1.10    \item xxx
    1.11    \item xxx