changeset 60002 | 0073ca6530bb |
parent 59998 | 5dd825c9e2d5 |
child 60011 | 25e6810ca0e7 |
1.1 --- a/src/Tools/isac/TODO.thy Mon May 25 11:14:51 2020 +0200 1.2 +++ b/src/Tools/isac/TODO.thy Mon May 25 16:52:38 2020 +0200 1.3 @@ -62,6 +62,8 @@ 1.4 text \<open> 1.5 \begin{itemize} 1.6 \item xxx 1.7 + \item unify code Specify.find_next_step <--> Step_Specify.by_tactic (Tactic.Specify_Method' 1.8 + \item xxx 1.9 \item Isa20.implementation: 0.2.4 Printing ML values ?INSTEAD? *.TO_STRING ??? 1.10 ??? writeln ( make_string {x = x, y = y}); ??? 1.11 \item xxx