1.1 --- a/TODO.md	Tue May 31 09:16:12 2022 +0200
     1.2 +++ b/TODO.md	Tue May 31 09:36:02 2022 +0200
     1.3 @@ -69,4 +69,4 @@
     1.4  * WN: for calculation by use of Makarius' "problem" as boilerplate clarify:
     1.5      - How inspect Token lists, e.g. from ML_Lex.read OR ML_Lex.read_source ?
     1.6      - Why the ERROR in Demo_Example.thy at: \<open>problem pbl_bieg : "Biegelinien" = ..\<close> ?
     1.7 -    - TODO: remove test code written in this changeset
     1.8 +