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 70385 68d2c533db9c
parent 70359 470d4f145e4c
child 70388 e31271559de8 
--- a/src/Pure/pure_thy.scala	Sat Jul 20 12:52:29 2019 +0200
+++ b/src/Pure/pure_thy.scala	Sat Jul 20 14:03:51 2019 +0200
@@ -19,6 +19,7 @@
   val ALL: String = "Pure.all"
   val IMP: String = "Pure.imp"
   val EQ: String = "Pure.eq"
+  val TYPE: String = "Pure.type"
 
 
   /* proof terms (abstract syntax) */
isabelle