1.1 --- a/src/Tools/isac/TODO.thy	Mon May 04 12:38:16 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Mon May 04 13:27:45 2020 +0200
     1.3 @@ -149,7 +149,6 @@
     1.4                                     DONE  for find_next_step by Tactic.insert_assumptions m' ctxt 
     1.5      \begin{itemize}
     1.6      \item rm from "generate1" ("Detail_Set_Inst'", Tactic.Detail_Set' ?)
     1.7 -    \item shift from "applicable_in..Apply_Method" to ? ? ? (is ONLY use-case in appl.sml))
     1.8      \item ?"insert_assumptions" necessary in "init_pstate" ?+++? in "applicable_in" ?+++? "associate"
     1.9      \item xxx
    1.10      \item xxx