/* Title: Pure/pure_thy.scala
Author: Makarius
Pure theory content.
*/
package isabelle
object Pure_Thy
{
val FUN: String = "fun"
val PROP: String = "prop"
val ITSELF: String = "itself"
val ALL: String = "Pure.all"
val IMP: String = "Pure.imp"
val EQ: String = "Pure.eq"
}