1.1 --- a/src/Tools/isac/TODO.thy	Mon Apr 13 15:31:23 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Mon Apr 13 18:32:01 2020 +0200
     1.3 @@ -24,6 +24,13 @@
     1.4  subsection \<open>Current changeset\<close>
     1.5  text \<open>
     1.6    \begin{itemize}
     1.7 +  \item type_empty -> typ_empty
     1.8 +  \item Seqence -> Sequence
     1.9 +  \item EmptyScr -> Empty_Prog
    1.10 +  \item Num_Calc -> Exec, eval_* -> exec_*
    1.11 +  \item xxx
    1.12 +  \item xxx
    1.13 +  \item xxx
    1.14    \item xxx
    1.15    \item xxx
    1.16    \item xxx