# HG changeset patch
# User wenzelm
# Date 1533390594 -7200
# Node ID 6aea897bff2ac4b11c5ea37d08ff5df2ff589a42
# Parent  53ad5c01be3f5526420e1c560e539dedf6615873
more Pure theory content;

diff -r 53ad5c01be3f -r 6aea897bff2a src/Pure/pure_thy.scala
--- a/src/Pure/pure_thy.scala	Sat Aug 04 01:03:39 2018 +0200
+++ b/src/Pure/pure_thy.scala	Sat Aug 04 15:49:54 2018 +0200
@@ -9,6 +9,7 @@
 
 object Pure_Thy
 {
+  val DUMMY: String = "dummy"
   val FUN: String = "fun"
   val PROP: String = "prop"
   val ITSELF: String = "itself"