24 subsection \<open>Current changeset\<close> |
24 subsection \<open>Current changeset\<close> |
25 text \<open> |
25 text \<open> |
26 (*/------- to -------\*) |
26 (*/------- to -------\*) |
27 (*\------- to -------/*) |
27 (*\------- to -------/*) |
28 \begin{itemize} |
28 \begin{itemize} |
29 \item ML_file "rule-set.sml" KEStore -> MathEngBasic (=ThmC, Rewrite) |
29 \item ML_file "rule-set.sml" Know_Store -> MathEngBasic (=ThmC, Rewrite) |
30 probably first review calcelems.sml |
30 probably first review calcelems.sml |
31 \item xxx |
31 \item xxx |
32 \item replace src/ Erls Rule_Set.Empty |
32 \item replace src/ Erls Rule_Set.Empty |
33 \item xxx |
33 \item xxx |
34 \item rename exec-def.sml -> eval_def.sml |
34 \item rename exec-def.sml -> eval_def.sml |
35 calculate.sml _> evaluate.sml (struct Eval -> Evaluate?!?) |
35 calculate.sml _> evaluate.sml (struct Eval -> Evaluate?!?) |
36 \item xxx |
36 \item xxx |
37 \item rename KEStore -> Know_Store KNOWLEDGE_STORE + file.sml |
37 \item rename Know_Store -> Know_Store KNOWLEDGE_STORE + file.sml |
38 Build_Thydata -> Build_Knowledge |
38 Build_Thydata -> Build_Knowledge |
39 \item xxx |
39 \item xxx |
40 \item rename ptyps.sml -> specify-etc.sml |
40 \item rename ptyps.sml -> specify-etc.sml |
41 rename Specify -> Specify_Etc |
41 rename Specify -> Specify_Etc |
42 rename SpecifyNEW -> Specify |
42 rename SpecifyNEW -> Specify |
209 \item rm Float |
209 \item rm Float |
210 \item xxx |
210 \item xxx |
211 \item Diff.thy: differentiateX --> differentiate after removal of script-constant |
211 \item Diff.thy: differentiateX --> differentiate after removal of script-constant |
212 \item Test.thy: met_test_sqrt2: deleted?! |
212 \item Test.thy: met_test_sqrt2: deleted?! |
213 \item xxx |
213 \item xxx |
214 \item Rewrite_Ord.rew_ord' := overwritel (! Rewrite_Ord.rew_ord', (*<<<---- use KEStore.xxx, too*) |
214 \item Rewrite_Ord.rew_ord' := overwritel (! Rewrite_Ord.rew_ord', (*<<<---- use Know_Store.xxx, too*) |
215 \item xxx |
215 \item xxx |
216 \item automatically extrac rls from program-code |
216 \item automatically extrac rls from program-code |
217 ? take ["SignalProcessing", "Z_Transform", "Inverse_sub"] as an example ? |
217 ? take ["SignalProcessing", "Z_Transform", "Inverse_sub"] as an example ? |
218 \item xxx |
218 \item xxx |
219 \item finish output of trace_LI with Check_Postcond (useful for SubProblem) |
219 \item finish output of trace_LI with Check_Postcond (useful for SubProblem) |