| changeset 71777 | 3875815f5967 |
| parent 70388 | e31271559de8 |
| child 75393 | 87ebf5a50283 |
--- 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" }