| changeset 73340 | 0ffcad1f6130 |
| parent 72763 | 3cc73d00553c |
| child 75393 | 87ebf5a50283 |
| 73339:9efdebe24c65 | 73340:0ffcad1f6130 |
|---|---|
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 object Update_Theorems |
10 object Update_Theorems |
11 { |
11 { |
12 def update_theorems(path: Path) |
12 def update_theorems(path: Path): Unit = |
13 { |
13 { |
14 val text0 = File.read(path) |
14 val text0 = File.read(path) |
15 val text1 = |
15 val text1 = |
16 (for (tok <- Token.explode(Keyword.Keywords.empty, text0).iterator) |
16 (for (tok <- Token.explode(Keyword.Keywords.empty, text0).iterator) |
17 yield { |
17 yield { |