equal
deleted
inserted
replaced
40 * Check/clarify Context.theory_name vs. Context.theory_long_name. |
40 * Check/clarify Context.theory_name vs. Context.theory_long_name. |
41 |
41 |
42 * Eliminate mutable Rewrite_Ord.rew_ord' (!?); |
42 * Eliminate mutable Rewrite_Ord.rew_ord' (!?); |
43 |
43 |
44 |
44 |
|
45 * WN: clarify Rule.Thm ("minus_divide_left", ...): Should this be @{rule_thm_sym} antiquotation? |
|
46 |
45 * WN: remove always empty arguments in MethodC.prep_input and Problem.prep_input |
47 * WN: remove always empty arguments in MethodC.prep_input and Problem.prep_input |
46 (following the "TODO" comment); |
48 (following the "TODO" comment); |
47 |
49 |
48 * WN: trim-down MethodC.prep_input and Problem.prep_input to what is really needed. |
50 * WN: trim-down MethodC.prep_input and Problem.prep_input to what is really needed. |
49 |
51 |