changeset 59921 | 0766dade4a78 |
parent 59920 | 33913fe24685 |
child 59922 | 9dbb624c2ec2 |
1.1 --- a/src/Tools/isac/TODO.thy Wed Apr 29 12:30:51 2020 +0200 1.2 +++ b/src/Tools/isac/TODO.thy Fri May 01 15:28:40 2020 +0200 1.3 @@ -54,7 +54,9 @@ 1.4 text \<open> 1.5 \begin{itemize} 1.6 \item xxx 1.7 + \item ? "fetch-tactics.sml" from Mathengine -> BridgeLibisabelle ? 1.8 \item xxx 1.9 + \item ? unify struct.Step and struct.Solve in MathEngine ? 1.10 \item xxx 1.11 \item use "Eval_Def" for renaming identifiers 1.12 \item xxx