1.1 --- a/src/Tools/isac/TODO.thy	Thu Oct 08 10:05:33 2020 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Thu Oct 22 14:03:40 2020 +0200
     1.3 @@ -28,6 +28,8 @@
     1.4    \begin{itemize}
     1.5    \item xxx
     1.6    \item xxx
     1.7 +  \item relate Prog_Epxr.lhs to Thm.lhs_of
     1.8 +  \item xxx
     1.9    \item as soon as src/../parseC.sml is stable,
    1.10      remove defs from Test_Parse_Isac.thy
    1.11      + and shift tests from Test_Parse_Isac -> test/../parseC.sml