changeset 60016 | d5ab2f4bc153 |
parent 60015 | 77c0abec88fa |
child 60017 | cdcc5eba067b |
1.1 --- a/src/Tools/isac/TODO.thy Mon Jun 01 16:11:05 2020 +0200 1.2 +++ b/src/Tools/isac/TODO.thy Wed Jun 03 09:56:24 2020 +0200 1.3 @@ -67,6 +67,8 @@ 1.4 text \<open> 1.5 \begin{itemize} 1.6 \item xxx 1.7 + \item Specify_Step.add has dummy argument Istate_Def.Uistate -- remove down to Ctree 1.8 + \item xxx 1.9 \item Step_Specify.by_tactic (Tactic.Model_Problem' (id, _, met)) 1.10 by_tactic (Tactic.Specify_Theory' domID) 1.11 had very old, strange code at 11b5b8b81876