--- 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