equal
deleted
inserted
replaced
53 |
53 |
54 |
54 |
55 ***** priority of WN items is top down, most urgent/simple on top |
55 ***** priority of WN items is top down, most urgent/simple on top |
56 |
56 |
57 * WN: rewriting with ctxt not complete (cause errors hard to indentify later) |
57 * WN: rewriting with ctxt not complete (cause errors hard to indentify later) |
58 - Error_Pattern.check_for', fill_form |
58 - Error_Pattern.fill_form |
59 - Derive.steps |
59 - Derive.steps |
60 - Fetch_Tacs.specific_from_prog ? |
60 - Fetch_Tacs.specific_from_prog ? |
61 - Eval.adhoc_thm, adhoc_thm1_ |
61 - Eval.adhoc_thm, adhoc_thm1_ |
62 - ? LIST IS NOT COMPLETE |
62 - ? LIST IS NOT COMPLETE |
63 - Solve_Step.check ..Rewrite_Inst, Substitute, etc: push ctxt through Interpret/* |
63 - Solve_Step.check ..Rewrite_Inst, Substitute, etc: push ctxt through Interpret/* |