1.1 --- a/src/Tools/isac/TODO.thy	Wed Apr 15 11:37:43 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Wed Apr 15 13:47:56 2020 +0200
     1.3 @@ -164,7 +164,7 @@
     1.4      \end{itemize}
     1.5    \item xxx
     1.6    \item unify in signature LANGUAGE_TOOLS =\\
     1.7 -    val pblterm: ThyC.domID -> Celem.pblID -> term     vvv        vvv\\
     1.8 +    val pblterm: ThyC.id -> Celem.pblID -> term     vvv        vvv\\
     1.9      val subpbl: string -> string list -> term          unify with ^^^
    1.10    \item xxx
    1.11    \item Telem.safe is questionable: has it been replaced by Safe_Step, Not_Derivable, Helpless, etc?