info.hupel.isabelle.Operation
Slightly fishy exception to represent any kind of exception from the prover.
There is no stack traces available, because instance are only created when the prover throws an exception.
Slightly fishy exception to represent any kind of exception from the prover.
There is no stack traces available, because instance are only created when the prover throws an exception.