author | wenzelm |
Wed, 20 Mar 2019 21:54:08 +0100 | |
changeset 69929 | b979e3044d8e |
parent 68722 | 6aea897bff2a |
child 70359 | 470d4f145e4c |
permissions | -rw-r--r-- |
68713 | 1 |
/* Title: Pure/pure_thy.scala |
2 |
Author: Makarius |
|
3 |
||
4 |
Pure theory content. |
|
5 |
*/ |
|
6 |
||
7 |
package isabelle |
|
8 |
||
9 |
||
10 |
object Pure_Thy |
|
11 |
{ |
|
68722 | 12 |
val DUMMY: String = "dummy" |
68713 | 13 |
val FUN: String = "fun" |
14 |
val PROP: String = "prop" |
|
15 |
val ITSELF: String = "itself" |
|
16 |
||
17 |
val ALL: String = "Pure.all" |
|
18 |
val IMP: String = "Pure.imp" |
|
19 |
val EQ: String = "Pure.eq" |
|
20 |
} |