1.1 --- a/src/Tools/isac/TODO.thy	Thu May 14 08:49:08 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Thu May 14 09:30:40 2020 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4    \item xxx
     1.5    \item rename ptyps.sml -> specify-etc.sml
     1.6          rename Specify -> Specify_Etc
     1.7 -        rename SpecifyNEW -> Specify
     1.8 +        rename Specify -> Specify
     1.9    \item xxx
    1.10    \item specific_from_prog in..end: replace o by |> (Test_Isac or Test_Some!)
    1.11    \item xxx