
diff -r b8307d4a83ad -r 25e6810ca0e7 src/Tools/isac/TODO.thy
--- a/src/Tools/isac/TODO.thy	Sat May 30 14:10:58 2020 +0200
+++ b/src/Tools/isac/TODO.thy	Sat May 30 15:20:22 2020 +0200
@@ -27,7 +27,14 @@
 (*\------- to  from -------/*)
   \begin{itemize}
   \item xxx
-  \item LibraryC.distinct shadows Library.distinct (+ seeLibrary.member)
+  \item unify code
+    at all occurrences of O_Model.complete_for
+  \item xxx
+  \item simplify code
+    find_next_step
+    remove find_next_step' (used only for p_)
+  \item xxx
+  \item LibraryC.distinct shadows Library.distinct (+ see Library.member)
   \item xxx
   \item Specify.find_next_step: References.select
     cpI = ["vonBelastungZu", "Biegelinien"]: References_Def.id




