1.1 --- a/src/Tools/isac/TODO.thy	Mon Apr 27 16:40:11 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Tue Apr 28 15:31:49 2020 +0200
     1.3 @@ -41,6 +41,12 @@
     1.4          rename Specify -> Specify_Etc
     1.5          rename SpecifyNEW -> Specify
     1.6    \item xxx
     1.7 +  \item specific_from_prog in..end: replace o by |> (Test_Isac or Test_Some!)
     1.8 +  \item xxx
     1.9 +  \item cleanup ThmC in MathEngBasic
    1.10 +  \item xxx
    1.11 +  \item xxx
    1.12 +  \item xxx
    1.13    \item xxx
    1.14    \item xxx
    1.15    \item xxx