1.1 --- a/src/Tools/isac/TODO.thy	Wed Jun 03 09:56:24 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Wed Jun 03 11:25:19 2020 +0200
     1.3 @@ -28,11 +28,7 @@
     1.4    \begin{itemize}
     1.5    \item xxx
     1.6    \item xxx
     1.7 -  \item simplify code
     1.8 -    find_next_step
     1.9 -    remove find_next_step' (used only for p_)
    1.10    \item xxx
    1.11 -  \item LibraryC.distinct shadows Library.distinct (+ see Library.member)
    1.12    \item xxx
    1.13    \item Specify.find_next_step: References.select
    1.14      cpI = ["vonBelastungZu", "Biegelinien"]: References_Def.id