info.hupel.isabelle
Result from the prover.
In the error case, a special ProverException will be provided.
ProverException
info.hupel.isabelle.System#invoke
Result from the prover.
In the error case, a special
ProverException
will be provided.info.hupel.isabelle.System#invoke