1.1 --- a/src/Tools/isac/TODO.thy Sat May 30 14:10:58 2020 +0200
1.2 +++ b/src/Tools/isac/TODO.thy Sat May 30 15:20:22 2020 +0200
1.3 @@ -27,7 +27,14 @@
1.4 (*\------- to from -------/*)
1.5 \begin{itemize}
1.6 \item xxx
1.7 - \item LibraryC.distinct shadows Library.distinct (+ seeLibrary.member)
1.8 + \item unify code
1.9 + at all occurrences of O_Model.complete_for
1.10 + \item xxx
1.11 + \item simplify code
1.12 + find_next_step
1.13 + remove find_next_step' (used only for p_)
1.14 + \item xxx
1.15 + \item LibraryC.distinct shadows Library.distinct (+ see Library.member)
1.16 \item xxx
1.17 \item Specify.find_next_step: References.select
1.18 cpI = ["vonBelastungZu", "Biegelinien"]: References_Def.id