| changeset 34303 | 98425e77cfeb |
| parent 34268 | b149b7083236 |
| child 34311 | f0a6f02ad705 |
| 34302:9bb71dfe7314 | 34303:98425e77cfeb |
|---|---|
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 class Thy_Syntax |
10 object Thy_Syntax |
11 { |
11 { |
12 private val parser = new Outer_Parse.Parser |
12 private val parser = new Outer_Parse.Parser |
13 { |
13 { |
14 override def filter_proper = false |
14 override def filter_proper = false |
15 |
15 |