equal
deleted
inserted
replaced
29 \item ML_file "rule-set.sml" Know_Store -> 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 xxx |
35 evaluate.sml _> evaluate.sml (struct Eval -> Evaluate?!?) |
|
36 \item xxx |
|
37 \item rename Know_Store -> Know_Store KNOWLEDGE_STORE + file.sml |
|
38 Build_Thydata -> Build_Knowledge |
|
39 \item xxx |
35 \item xxx |
40 \item rename ptyps.sml -> specify-etc.sml |
36 \item rename ptyps.sml -> specify-etc.sml |
41 rename Specify -> Specify_Etc |
37 rename Specify -> Specify_Etc |
42 rename SpecifyNEW -> Specify |
38 rename SpecifyNEW -> Specify |
43 \item xxx |
39 \item xxx |
58 text \<open> |
54 text \<open> |
59 \begin{itemize} |
55 \begin{itemize} |
60 \item xxx |
56 \item xxx |
61 \item xxx |
57 \item xxx |
62 \item xxx |
58 \item xxx |
63 \item use "Exec_Def" for renaming identifiers |
59 \item use "Eval_Def" for renaming identifiers |
64 \item xxx |
60 \item xxx |
65 \item why does Test_Build_Thydata.thy depend on ProgLang and not on CalcElements ? |
61 \item why does Test_Build_Thydata.thy depend on ProgLang and not on CalcElements ? |
66 \item xxx |
62 \item xxx |
67 \item xxx |
63 \item xxx |
68 \begin{itemize} |
64 \begin{itemize} |