1.1 --- a/src/Tools/isac/TODO.thy Tue Jun 21 13:51:04 2022 +0200
1.2 +++ b/src/Tools/isac/TODO.thy Tue Jun 21 16:04:43 2022 +0200
1.3 @@ -395,9 +395,9 @@
1.4 \item xxx
1.5 \item this has been written in one go:
1.6 \begin{itemize}
1.7 - \item reconsidering I_Model.max_vt, use problem with meth ["Diff_App", "max_by_calculus"]
1.8 + \item reconsidering I_Model.max_variant, use problem with meth ["Diff_App", "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 reconsider match_itms_oris: where is it used for what? max_variant ONLY???
1.12 \item in Specify_Method search root-oris for items (e.g. "errorBound"), #1# in survey
1.13 \item Specify_Problem, Specify_Method: check respective identifiers after re-Specify_
1.14 (relevant for pre-condition)