--- a/src/Pure/term.scala Sun Oct 20 20:38:22 2019 +0200
+++ b/src/Pure/term.scala Sun Oct 20 21:12:18 2019 +0200
@@ -94,8 +94,7 @@
case class PAxm(name: String, types: List[Typ]) extends Proof
case class OfClass(typ: Typ, cls: Class) extends Proof
case class Oracle(name: String, prop: Term, types: List[Typ]) extends Proof
- case class PThm(serial: Long, theory_name: String, approximative_name: String, types: List[Typ])
- extends Proof
+ case class PThm(serial: Long, theory_name: String, name: String, types: List[Typ]) extends Proof
/* type classes within the logic */