1.1 --- a/src/Tools/isac/TODO.thy	Wed Aug 03 18:17:27 2022 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Thu Aug 04 12:48:37 2022 +0200
     1.3 @@ -274,7 +274,7 @@
     1.4    \item Diff.thy: differentiateX --> differentiate after removal of script-constant
     1.5    \item Test.thy: met_test_sqrt2: deleted?!
     1.6    \item xxx          
     1.7 -  \item Rewrite_Ord.rew_ord' := overwritel (! Rewrite_Ord.rew_ord', (*<<<---- use Know_Store.xxx, too*)
     1.8 +  \item Rewrite_Ord.id := overwritel (! Rewrite_Ord.id, (*<<<---- use Know_Store.xxx, too*)
     1.9    \item xxx
    1.10      \item automatically extrac rls from program-code 
    1.11        ? take ["SignalProcessing", "Z_Transform", "Inverse_sub"] as an example ?