| changeset 68722 | 6aea897bff2a |
| parent 68713 | fb44580680c4 |
| child 70359 | 470d4f145e4c |
| 68721:53ad5c01be3f | 68722:6aea897bff2a |
|---|---|
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 object Pure_Thy |
10 object Pure_Thy |
11 { |
11 { |
12 val DUMMY: String = "dummy" |
|
12 val FUN: String = "fun" |
13 val FUN: String = "fun" |
13 val PROP: String = "prop" |
14 val PROP: String = "prop" |
14 val ITSELF: String = "itself" |
15 val ITSELF: String = "itself" |
15 |
16 |
16 val ALL: String = "Pure.all" |
17 val ALL: String = "Pure.all" |