1.1 --- a/TODO.md	Sun Apr 18 23:37:59 2021 +0200
     1.2 +++ b/TODO.md	Sun Apr 18 23:39:25 2021 +0200
     1.3 @@ -17,13 +17,3 @@
     1.4      diff -r /home/makarius/isabelle/repos-Isabelle2021/src/Pure/Tools/scala_project.scala ./src/Pure/Tools/scala_project.scala
     1.5      76a77
     1.6      >       "src/Tools/isac/etc" -> Path.explode("isabelle.isac"),
     1.7 -
     1.8 -* clarify test of sym_thm (and variations):
     1.9 -
    1.10 -changeset:   60213:8b135961eb45
    1.11 -parent:      60211:b69ff7aee3f4
    1.12 -user:        Walther Neuper <walther.neuper@jku.at>
    1.13 -date:        Sun Apr 18 15:19:32 2021 +0200
    1.14 -files:       test/Tools/isac/BridgeLibisabelle/thy-hierarchy.sml test/Tools/isac/MathEngBasic/thmC.sml
    1.15 -description:
    1.16 -shift test without correction of error