info.hupel.isabelle.Observer
Represents a final result from the prover, be it successful or failed.
It is recommended that this case is not used for unexpected failures.
For the precise error semantics, see System#invoke.
System#invoke
Represents a final result from the prover, be it successful or failed.
It is recommended that this case is not used for unexpected failures.
For the precise error semantics, see
System#invoke
.