1.1 --- a/src/Tools/isac/TODO.thy	Sun Apr 19 11:07:02 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Sun Apr 19 12:22:37 2020 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4  (*/------- to  -------\*)
     1.5  (*\------- to  -------/*)
     1.6    \begin{itemize}
     1.7 -  \item ML_file "rule-set.sml" KEStore -> MathEngBasic (=ThmC, Rewrite)
     1.8 +  \item ML_file "rule-set.sml" Know_Store -> MathEngBasic (=ThmC, Rewrite)
     1.9      probably first review calcelems.sml
    1.10    \item xxx
    1.11    \item replace src/ Erls Rule_Set.Empty
    1.12 @@ -34,7 +34,7 @@
    1.13    \item rename exec-def.sml -> eval_def.sml
    1.14                 calculate.sml _> evaluate.sml (struct Eval -> Evaluate?!?)
    1.15    \item xxx
    1.16 -  \item rename KEStore -> Know_Store KNOWLEDGE_STORE + file.sml
    1.17 +  \item rename Know_Store -> Know_Store KNOWLEDGE_STORE + file.sml
    1.18                 Build_Thydata -> Build_Knowledge
    1.19    \item xxx
    1.20    \item rename ptyps.sml -> specify-etc.sml
    1.21 @@ -211,7 +211,7 @@
    1.22    \item Diff.thy: differentiateX --> differentiate after removal of script-constant
    1.23    \item Test.thy: met_test_sqrt2: deleted?!
    1.24    \item xxx          
    1.25 -  \item Rewrite_Ord.rew_ord' := overwritel (! Rewrite_Ord.rew_ord', (*<<<---- use KEStore.xxx, too*)
    1.26 +  \item Rewrite_Ord.rew_ord' := overwritel (! Rewrite_Ord.rew_ord', (*<<<---- use Know_Store.xxx, too*)
    1.27    \item xxx
    1.28      \item automatically extrac rls from program-code 
    1.29        ? take ["SignalProcessing", "Z_Transform", "Inverse_sub"] as an example ?