equal
deleted
inserted
replaced
67 \<close> |
67 \<close> |
68 |
68 |
69 * WN: for calculation by use of Makarius' "problem" as boilerplate clarify: |
69 * WN: for calculation by use of Makarius' "problem" as boilerplate clarify: |
70 - How inspect Token lists, e.g. from ML_Lex.read OR ML_Lex.read_source ? |
70 - How inspect Token lists, e.g. from ML_Lex.read OR ML_Lex.read_source ? |
71 - Why the ERROR in Demo_Example.thy at: \<open>problem pbl_bieg : "Biegelinien" = ..\<close> ? |
71 - Why the ERROR in Demo_Example.thy at: \<open>problem pbl_bieg : "Biegelinien" = ..\<close> ? |
|
72 - |
72 |
73 |