1.1 --- a/TODO.md	Tue May 31 11:00:15 2022 +0200
     1.2 +++ b/TODO.md	Tue May 31 16:21:22 2022 +0200
     1.3 @@ -69,4 +69,5 @@
     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 +    - 
     1.8