1.1 --- a/TODO.md Mon Aug 22 13:39:32 2022 +0200
1.2 +++ b/TODO.md Tue Aug 23 18:05:08 2022 +0200
1.3 @@ -62,6 +62,7 @@
1.4
1.5 * WN: eliminate SPARK; as an example replaced by Outer_Syntax.command..problem
1.6
1.7 +* WN: polish naming in BaseDefinitions/eval-def.sml
1.8 * WN: Step_Specify.initialisePIDE: remove hdl in return-value, replace Step_Specify.nxt_specify_init_calc
1.9 ? which uses initialisePIDE !?
1.10 * WN: ? unify "no_met" with "empty_meth_id" from References.empty ?
2.1 --- a/src/Tools/isac/BaseDefinitions/Know_Store.thy Mon Aug 22 13:39:32 2022 +0200
2.2 +++ b/src/Tools/isac/BaseDefinitions/Know_Store.thy Tue Aug 23 18:05:08 2022 +0200
2.3 @@ -31,7 +31,7 @@
2.4 ML_file "rule-def.sml"
2.5 ML_file "thmC-def.sml"
2.6 ML_file "eval-def.sml" (*rename identifiers by use of struct.id*)
2.7 -ML_file "rewrite-order.sml" (*rename identifiers by use of struct.id*)
2.8 +ML_file "rewrite-order.sml"
2.9 ML_file rule.sml
2.10 ML_file "error-pattern-def.sml"
2.11 ML_file "rule-set.sml"