Prover

abstract def decode(s: String): String

abstract def encode(s: String): String

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Encode

final def asInstanceOf[T0]: T0

def build_theories(id: String, master_dir: Path, theories: List[(Options, List[Path])]): Unit

def cancel_exec(id: Exec): Unit

def clone(): AnyRef

def define_blob(digest: Digest, bytes: Bytes): Unit

def define_command(command: Command): Unit

def dialog_result(serial: Long, result: String): Unit

def discontinue_execution(): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def join(): Unit

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def options(opts: Options): Unit

def protocol_command(name: String, args: String*): Unit

def protocol_command_bytes(name: String, args: Bytes*): Unit

protocol commands *

def remove_versions(versions: List[Version]): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def terminate(): Unit

def toString(): String

def update(old_id: Version, new_id: Version, edits: List[Edit_Command]): Unit

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

val xml_cache: Cache

receiver output *