| changeset 75393 | 87ebf5a50283 |
| parent 71777 | 3875815f5967 |
| 75388:b3ca4a6ed74b | 75393:87ebf5a50283 |
|---|---|
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 object Pure_Thy |
10 object Pure_Thy { |
11 { |
|
12 /* Pure logic */ |
11 /* Pure logic */ |
13 |
12 |
14 val DUMMY: String = "dummy" |
13 val DUMMY: String = "dummy" |
15 val FUN: String = "fun" |
14 val FUN: String = "fun" |
16 val PROP: String = "prop" |
15 val PROP: String = "prop" |