1.1 --- a/src/Tools/isac/TODO.thy Mon Jun 01 11:49:37 2020 +0200
1.2 +++ b/src/Tools/isac/TODO.thy Mon Jun 01 16:11:05 2020 +0200
1.3 @@ -27,8 +27,6 @@
1.4 (*\------- to from -------/*)
1.5 \begin{itemize}
1.6 \item xxx
1.7 - \item unify code
1.8 - at all occurrences of O_Model.complete_for
1.9 \item xxx
1.10 \item simplify code
1.11 find_next_step
1.12 @@ -69,6 +67,12 @@
1.13 text \<open>
1.14 \begin{itemize}
1.15 \item xxx
1.16 + \item Step_Specify.by_tactic (Tactic.Model_Problem' (id, _, met))
1.17 + by_tactic (Tactic.Specify_Theory' domID)
1.18 + had very old, strange code at 11b5b8b81876
1.19 + ?redes Model_Problem', Specify_Theory' <--> Specify_Method: Step_Specify.complet_for ?
1.20 + INTERMED. NO REPAIR: NOT PROMPTED IN TESTS
1.21 + \item xxx
1.22 \item unify code Specify.find_next_step <--> Step_Specify.by_tactic (Tactic.Specify_Method'
1.23 \item xxx
1.24 \item Isa20.implementation: 0.2.4 Printing ML values ?INSTEAD? *.TO_STRING ???