1.1 --- a/src/Tools/isac/TODO.thy	Thu May 14 09:30:40 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Thu May 14 13:33:47 2020 +0200
     1.3 @@ -360,7 +360,7 @@
     1.4    \item xxx
     1.5    \item can lev_on_total replace lev_on ? ..Test_Isac_Short + rename lev_on_total -> lev_on
     1.6    \item xxx
     1.7 -  \item Step* functions should return Calc.T instead of Chead.calcstate'
     1.8 +  \item Step* functions should return Calc.T instead of Specification.calcstate'
     1.9    \item xxx
    1.10    \item states.sml: check, when "length tacis > 1"
    1.11    \item in Test_Isac.thy there is only 1 error in Interpret/inform.sml