src/Tools/isac/TODO.thy
changeset 60017 cdcc5eba067b
parent 60016 d5ab2f4bc153
child 60026 edd86bf5113b
equal deleted inserted replaced
60016:d5ab2f4bc153 60017:cdcc5eba067b
    26 (*/------- to  from -------\*)
    26 (*/------- to  from -------\*)
    27 (*\------- to  from -------/*)
    27 (*\------- to  from -------/*)
    28   \begin{itemize}
    28   \begin{itemize}
    29   \item xxx
    29   \item xxx
    30   \item xxx
    30   \item xxx
    31   \item simplify code
    31   \item xxx
    32     find_next_step
       
    33     remove find_next_step' (used only for p_)
       
    34   \item xxx
       
    35   \item LibraryC.distinct shadows Library.distinct (+ see Library.member)
       
    36   \item xxx
    32   \item xxx
    37   \item Specify.find_next_step: References.select
    33   \item Specify.find_next_step: References.select
    38     cpI = ["vonBelastungZu", "Biegelinien"]: References_Def.id
    34     cpI = ["vonBelastungZu", "Biegelinien"]: References_Def.id
    39                                       ^^^^^  Problem.id
    35                                       ^^^^^  Problem.id
    40   \item xxx
    36   \item xxx