1.1 --- a/src/Tools/isac/TODO.thy	Sun Aug 21 16:14:45 2022 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Sun Aug 21 16:20:48 2022 +0200
     1.3 @@ -34,8 +34,6 @@
     1.4    \item xxx
     1.5    \item Input_Descript.descriptor -> Input_Descript.T
     1.6    \item xxx
     1.7 -  \item Step_Specify.initialisePIDE: remove hdl in return-value
     1.8 -        rename Step_Specify.nxt_specify_init_calc
     1.9    \item xxx
    1.10    \item relate Prog_Epxr.lhs to Thm.lhs_of
    1.11    \item xxx