equal
deleted
inserted
replaced
27 (*\------- to -------/*) |
27 (*\------- to -------/*) |
28 \begin{itemize} |
28 \begin{itemize} |
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 rename/relocate: Selem.result -> Calc.result ?OR? (NEW..)Formula.result |
33 \item xxx |
33 \item xxx |
34 \item xxx |
34 \item replace src/ Erls by Rule_Set.Empty |
35 \item xxx |
35 \item xxx |
36 \item rename ptyps.sml -> specify-etc.sml |
36 \item rename ptyps.sml -> specify-etc.sml |
37 rename Specify -> Specify_Etc |
37 rename Specify -> Specify_Etc |
38 rename SpecifyNEW -> Specify |
38 rename SpecifyNEW -> Specify |
39 \item xxx |
39 \item xxx |