--- 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) */