equal
deleted
inserted
replaced
60 subsubsection ‹Start Example with a CAS_Cmd› |
60 subsubsection ‹Start Example with a CAS_Cmd› |
61 |
61 |
62 |
62 |
63 ***** priority of WN items is top down, most urgent/simple on top |
63 ***** priority of WN items is top down, most urgent/simple on top |
64 |
64 |
65 * WN: follow up 3: MethodC.adapt_to_typ on loading by CalcTree, CalcTreeTEST |
65 * WN: follow up 5: cleanup |
66 follow up 4: CAS_Cmd.adapt_to_typ on loading by CalcTree, CalcTreeTEST |
|
67 follow up 5: cleanup |
|
68 follow up 6: ctxt_user at init Example mimiced by CalcTreeTest @{context} |
66 follow up 6: ctxt_user at init Example mimiced by CalcTreeTest @{context} |
69 Thus eliminate use of Thy_Info.get_theory |
67 Thus eliminate use of Thy_Info.get_theory |
70 follow up 7: ANSWER ?How represent items, which have not yet been input? IN VSCode_Example.thy WITH "__" |
68 follow up 7: ANSWER ?How represent items, which have not yet been input? IN VSCode_Example.thy WITH "__" |
71 |
69 |
72 * WN: improve naming in refine.sml, m-match.sml |
70 * WN: improve naming in refine.sml, m-match.sml |