1.1 --- a/src/Tools/isac/TODO.thy	Fri May 01 17:17:41 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Sat May 02 09:15:39 2020 +0200
     1.3 @@ -159,6 +159,7 @@
     1.4    \item xxx
     1.5    \item ? what is the difference headline <--> cascmd in
     1.6      Subproblem' (spec, oris, headline, fmz_, context, cascmd)
     1.7 +  \item Substitute' what does "re-calculation mean in the datatype comment?
     1.8    \item xxx
     1.9    \item inform: TermC.parse (ThyC.get_theory "Isac_Knowledge") istr --> parseNEW context istr
    1.10    \item xxx