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




