1.1 --- a/src/Tools/isac/TODO.thy	Tue May 05 13:33:23 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Tue May 05 15:39:20 2020 +0200
     1.3 @@ -336,7 +336,7 @@
     1.4    \item xxx
     1.5    \item this has been written in one go:
     1.6      \begin{itemize}
     1.7 -    \item reconsidering Model.max_vt, use problem with meth ["DiffApp","max_by_calculus"]
     1.8 +    \item reconsidering I_Model.max_vt, use problem with meth ["DiffApp","max_by_calculus"]
     1.9      \item reconsider add_field': where is it used for what? Shift into mk_oris
    1.10      \item reconsider match_itms_oris: where is it used for what? max_vt ONLY???
    1.11      \item in Specify_Method search root-oris for items (e.g. "errorBound"), #1# in survey