1.1 --- a/src/Tools/isac/TODO.thy	Tue Apr 21 16:53:17 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Wed Apr 22 11:06:48 2020 +0200
     1.3 @@ -216,7 +216,7 @@
     1.4      \item automatically extrac rls from program-code 
     1.5        ? take ["SignalProcessing", "Z_Transform", "Inverse_sub"] as an example ?
     1.6    \item xxx          
     1.7 -  \item finish output of trace_LI with Check_Postcond (useful for SubProblem)
     1.8 +  \item finish output of LItool.trace with Check_Postcond (useful for SubProblem)
     1.9    \item xxx
    1.10    \item replace Rule_Set.empty by Rule_Set.Empty
    1.11      latter is more clear, but replacing ***breaks rewriting over all examples***,