edu.tum.cs.isabelle.Observer
Represents an unexpected failure during communication with the prover.
It is recommended that this case is not used for routine error conditions.
For the precise error semantics, see System#invoke.
System#invoke
Represents an unexpected failure during communication with the prover.
It is recommended that this case is not used for routine error conditions.
For the precise error semantics, see
System#invoke
.