
diff -r 77c0abec88fa -r d5ab2f4bc153 src/Tools/isac/TODO.thy
--- a/src/Tools/isac/TODO.thy	Mon Jun 01 16:11:05 2020 +0200
+++ b/src/Tools/isac/TODO.thy	Wed Jun 03 09:56:24 2020 +0200
@@ -67,6 +67,8 @@
 text \<open>
   \begin{itemize}
   \item xxx
+  \item Specify_Step.add has dummy argument Istate_Def.Uistate -- remove down to Ctree
+  \item xxx
   \item Step_Specify.by_tactic (Tactic.Model_Problem' (id, _, met))
                      by_tactic (Tactic.Specify_Theory' domID)
     had very old, strange code at 11b5b8b81876




