equal
deleted
inserted
replaced
49 \end{itemize} |
49 \end{itemize} |
50 \<close> |
50 \<close> |
51 subsection \<open>Postponed from current changeset\<close> |
51 subsection \<open>Postponed from current changeset\<close> |
52 text \<open> |
52 text \<open> |
53 \begin{itemize} |
53 \begin{itemize} |
|
54 \item xxx |
|
55 \item revise O_Model and I_Model with an example with more than 1 variant. |
54 \item xxx |
56 \item xxx |
55 \item ctxt is superfluous in specify-phase due to type constraints from Descript.thy |
57 \item ctxt is superfluous in specify-phase due to type constraints from Descript.thy |
56 \item xxx |
58 \item xxx |
57 \item Derive.do_one: TODO find code in common with complete_solve |
59 \item Derive.do_one: TODO find code in common with complete_solve |
58 Derive.embed: TODO rewrite according to CAO (+ no intermediate access to Ctree) |
60 Derive.embed: TODO rewrite according to CAO (+ no intermediate access to Ctree) |