--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/pure_thy.scala	Fri Aug 03 14:08:33 2018 +0200
@@ -0,0 +1,19 @@
+/*  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"
+}