diff -r d18bd904c0fd -r 10d41bf28b92 src/Pure/term.scala
--- a/src/Pure/term.scala	Fri Aug 16 21:50:57 2019 +0200
+++ b/src/Pure/term.scala	Sat Aug 17 10:38:02 2019 +0200
@@ -58,7 +58,7 @@
   case class PAxm(name: String, types: List[Typ]) extends Proof
   case class OfClass(typ: Typ, cls: String) extends Proof
   case class Oracle(name: String, prop: Term, types: List[Typ]) extends Proof
-  case class PThm(serial: Long, theory_name: String, pseudo_name: String, types: List[Typ])
+  case class PThm(serial: Long, theory_name: String, approximative_name: String, types: List[Typ])
     extends Proof