diff -r 5ef7f374e0f8 -r 3875815f5967 src/Pure/pure_thy.scala
--- a/src/Pure/pure_thy.scala	Tue Apr 21 22:04:15 2020 +0200
+++ b/src/Pure/pure_thy.scala	Tue Apr 21 22:19:59 2020 +0200
@@ -32,6 +32,6 @@
   val ABSP: String = "Pure.AbsP"
   val HYP: String = "Pure.Hyp"
   val ORACLE: String = "Pure.Oracle"
-  val OFCLASS: String = "Pure.OfClass"
+  val OFCLASS: String = "Pure.PClass"
   val MINPROOF: String = "Pure.MinProof"
 }