Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/pure_thy.scala
changeset 68722 6aea897bff2a
parent 68713 fb44580680c4
child 70359 470d4f145e4c 
--- 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"
isabelle