1.1 --- a/src/Tools/isac/TODO.thy	Fri Apr 10 16:16:09 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Fri Apr 10 18:32:36 2020 +0200
     1.3 @@ -180,7 +180,7 @@
     1.4    \begin{itemize}
     1.5    \item xxx          
     1.6    \item revisit bootstrap Calcelements. rule->calcelems->termC
     1.7 -    would be nice, but is hard: UnparseC.terms2str -> TermC.s_to_string
     1.8 +    would be nice, but is hard: UnparseC.terms -> TermC.s_to_string
     1.9    \item xxx
    1.10    \item replace all Ctree.update_* with Ctree.cupdate_problem
    1.11    \item xxx