changeset 59953 | 933211a252f2 |
parent 59946 | c7546066881a |
child 59976 | 950922a768ca |
1.1 --- a/src/Tools/isac/TODO.thy Fri May 08 18:30:21 2020 +0200 1.2 +++ b/src/Tools/isac/TODO.thy Sat May 09 11:55:51 2020 +0200 1.3 @@ -52,6 +52,8 @@ 1.4 text \<open> 1.5 \begin{itemize} 1.6 \item xxx 1.7 + \item revise O_Model and I_Model with an example with more than 1 variant. 1.8 + \item xxx 1.9 \item ctxt is superfluous in specify-phase due to type constraints from Descript.thy 1.10 \item xxx 1.11 \item Derive.do_one: TODO find code in common with complete_solve